Index of /key/thebook/examples/15TheSchorrWaiteAlgorithm/spec

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 axiomRules.key                                   2024-09-02 03:27  2.5K  
 derivedRules.key                                 2024-09-02 03:27  5.4K  
 effectlessUpdate.key                             2024-09-02 03:27  2.2K  
 effectlessUpdate.proof                           2024-09-02 03:27   65K  
 effectlessUpdate2.key                            2024-09-02 03:27  2.1K  
 effectlessUpdate2.proof                          2024-09-02 03:27   40K  
 onPathBase.key                                   2024-09-02 03:27  1.9K  
 onPathBase.proof                                 2024-09-02 03:27  5.9K  
 onPathNoCycle.key                                2024-09-02 03:27  3.3K  
 onPathNoCycle.proof                              2024-09-02 03:27   30K  
 onPathNull.key                                   2024-09-02 03:27  1.9K  
 onPathNull.proof                                 2024-09-02 03:27  6.1K  
 onPathTransitive.key                             2024-09-02 03:27  2.9K  
 onPathTransitive.proof                           2024-09-02 03:27   60K  
 reachableBase.key                                2024-09-02 03:27  1.4K  
 reachableBase.proof                              2024-09-02 03:27  4.9K  
 schorrWaiteVisited.key                           2024-09-02 03:27   13K  
 schorrWaiteVisited.proof                         2024-09-02 03:27  2.5M  
 schorrWaiteVisitedAndStructurePreserving.key     2024-09-02 03:27   13K  
 schorrWaiteVisitedAndStructurePreserving.proof   2024-09-02 03:27  2.5M