Index of /SATURATE/examples/tests/ChurchRosser

 Name                      Last modified      Size  Description
 Parent Directory                               -   
 beta                      2004-03-07 19:59  230   
 cd                        2004-03-07 19:59  202   
 comm_lemma                2004-03-07 19:59  120   
 comma                     2004-03-07 19:59   56K  
 commb                     2004-03-07 19:59  4.5K  
 comp_th                   2004-03-07 19:59   57   
 cr-lemmas.html            2018-08-10 13:16   28K  
 defaults                  2004-03-07 19:59  290   
 diamond_pbeta             2004-03-07 19:59  121   
 eta                       2004-03-07 19:59  357   
 etas                      2004-03-07 19:59  110   
 hg/                       2006-07-06 13:57    -   
 int                       2004-03-07 19:59  293   
 int2                      2004-03-07 19:59  294   
 int_lemmas                2004-03-07 19:59  106   
 lemmaB1                   2004-03-07 19:59  122   
 lemmaB2                   2004-03-07 19:59  132   
 lemmaB3a                  2004-03-07 19:59  170   
 lemmaB3b                  2004-03-07 19:59   90   
 lemmaE1                   2004-03-07 19:59   80   
 lemmaE2                   2004-03-07 19:59   88   
 lemmaE3a                  2004-03-07 19:59  166   
 lemmaE3b                  2004-03-07 19:59   86   
 lemmaE6                   2004-03-07 19:59  119   
 lemmaE7                   2004-03-07 19:59  128   
 lemmaE8                   2004-03-07 19:59  127   
 lemmaF2                   2004-03-07 19:59  172   
 lemmaF3                   2004-03-07 19:59  206   
 lemmaP1                   2004-03-07 19:59   84   
 lemmaP2                   2004-03-07 19:59  132   
 ls-lR                     2007-03-29 09:53  4.8K  
 ls-lR.gz                  2007-03-29 09:53  700   
 nat                       2004-03-07 19:59  329   
 pbeta                     2004-03-07 19:59  294   
 pr_comp                   2004-03-07 19:59   15K  
 pr_dia                    2004-03-07 19:59   20K  
 pr_diamond_pbeta          2004-03-07 19:59  1.6K  
 pr_lemmaB1                2004-03-07 19:59   11K  
 pr_lemmaB2                2004-03-07 19:59  8.5K  
 pr_lemmaB3a               2004-03-07 19:59  3.8K  
 pr_lemmaB3b               2004-03-07 19:59  4.9K  
 pr_lemmaBP                2004-03-07 19:59  2.6K  
 pr_lemmaE1                2004-03-07 19:59   15K  
 pr_lemmaE2                2004-03-07 19:59   12K  
 pr_lemmaE3a               2004-03-07 19:59  3.7K  
 pr_lemmaE3b               2004-03-07 19:59  4.9K  
 pr_lemmaE6                2004-03-07 19:59   10K  
 pr_lemmaE7                2004-03-07 19:59  8.9K  
 pr_lemmaE8                2004-03-07 19:59   67K  
 pr_lemmaF1                2004-03-07 19:59  7.4K  
 pr_lemmaF2                2004-03-07 20:05   28K  
 pr_lemmaF3                2004-03-07 19:59   40K  
 pr_lemmaP1                2004-03-07 19:59   10K  
 pr_lemmaP2                2004-03-07 19:59   18K  
 pr_lemmaPBS               2004-03-07 19:59  5.5K  
 pr_subst_lemma1           2004-03-07 19:59  6.9K  
 pr_subst_lemma2           2004-03-07 19:59   12K  
 pr_subst_lemma3           2004-03-07 19:59  8.1K  
 pr_subst_lemma4           2004-03-07 19:59  3.6K  
 pr_subst_lemma5           2004-03-07 19:59   16K  
 pr_subst_lemma6           2004-03-07 19:59  6.0K  
 subst                     2004-03-07 19:59  531   
 subst_lemmas              2004-03-07 19:59  767   
 test                      2004-03-07 19:59   74