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

Icon  Name                                              Last modified      Size  Description
[DIR] Parent Directory                                                       -   
[   ] axiomRules.key                                    29-Jan-2007 16:19  2.5K  
[   ] derivedRules.key                                  29-Jan-2007 16:19  5.4K  
[   ] effectlessUpdate.key                              29-Jan-2007 16:19  2.2K  
[   ] effectlessUpdate.proof                            29-Jan-2007 16:19   65K  
[   ] effectlessUpdate2.key                             29-Jan-2007 16:19  2.1K  
[   ] effectlessUpdate2.proof                           29-Jan-2007 16:19   40K  
[   ] onPathBase.key                                    29-Jan-2007 16:19  1.9K  
[   ] onPathBase.proof                                  29-Jan-2007 16:19  5.9K  
[   ] onPathNoCycle.key                                 29-Jan-2007 16:19  3.3K  
[   ] onPathNoCycle.proof                               29-Jan-2007 16:19   30K  
[   ] onPathNull.key                                    29-Jan-2007 16:19  1.9K  
[   ] onPathNull.proof                                  29-Jan-2007 16:19  6.1K  
[   ] onPathTransitive.key                              29-Jan-2007 16:19  2.9K  
[   ] onPathTransitive.proof                            29-Jan-2007 16:19   60K  
[   ] reachableBase.key                                 29-Jan-2007 16:19  1.4K  
[   ] reachableBase.proof                               29-Jan-2007 16:19  4.9K  
[   ] schorrWaiteVisited.key                            29-Jan-2007 16:19   13K  
[   ] schorrWaiteVisited.proof                          29-Jan-2007 16:19  2.5M  
[   ] schorrWaiteVisitedAndStructurePreserving.key      29-Jan-2007 16:19   13K  
[   ] schorrWaiteVisitedAndStructurePreserving.proof    29-Jan-2007 16:19  2.5M
Apache/2.2.15 (Linux/SUSE) Server at i12www.iti.uni-karlsruhe.de Port 80