Index of /SATURATE/examples/ChurchRosserOrig

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 beta                    1999-08-03 15:18  230   
 cd                      1999-08-03 15:18  202   
 comm_lemma              1999-08-03 15:18  120   
 comma                   1999-08-03 15:18   29K  
 commb                   1999-08-03 15:18  4.5K  
 comp_th                 1999-08-03 15:18   57   
 cr-lemmas.html          2018-08-10 13:16   28K  
 defaults                2002-05-22 17:00  290   
 diamond_pbeta           1999-08-03 15:18  121   
 eta                     2002-05-22 21:45  325   
 etas                    2002-06-28 13:54  138   
 int                     1999-08-03 15:18  213   
 int_lemmas              1999-08-03 15:18   56   
 lemmaB1                 1999-08-03 15:18  122   
 lemmaB2                 1999-08-03 15:18  132   
 lemmaB3a                1999-08-03 15:18  170   
 lemmaB3b                1999-08-03 15:18   90   
 lemmaE1                 1999-08-03 15:18   80   
 lemmaE2                 1999-08-03 15:18   88   
 lemmaE3a                1999-08-03 15:18  166   
 lemmaE3b                1999-08-03 15:18   86   
 lemmaE6                 1999-08-03 15:18  119   
 lemmaE7                 1999-08-03 15:18  128   
 lemmaE8                 1999-08-03 15:18  127   
 lemmaF2                 1999-08-03 15:18  172   
 lemmaF3                 1999-08-03 15:18  206   
 lemmaP1                 1999-08-03 15:18   84   
 lemmaP2                 1999-08-03 15:18  132   
 ls-lR                   2007-03-29 09:53  3.9K  
 ls-lR.gz                2007-03-29 09:53  603   
 pbeta                   1999-08-03 15:18  207   
 pr_comp                 1999-08-03 15:18   15K  
 pr_dia                  1999-08-03 15:18   20K  
 pr_diamond_pbeta        1999-08-03 15:18  1.6K  
 pr_lemmaB1              1999-08-03 15:18   11K  
 pr_lemmaB2              1999-08-03 15:18  8.5K  
 pr_lemmaB3a             1999-08-03 15:18  3.8K  
 pr_lemmaB3b             1999-08-03 15:18  4.9K  
 pr_lemmaBP              1999-08-03 15:18  2.6K  
 pr_lemmaE1              1999-08-03 15:18   15K  
 pr_lemmaE2              1999-08-03 15:18   12K  
 pr_lemmaE3a             2002-06-28 15:59  3.7K  
 pr_lemmaE3b             2002-06-28 15:59  4.9K  
 pr_lemmaE6              1999-08-03 15:18   10K  
 pr_lemmaE7              2002-06-28 13:56  9.0K  
 pr_lemmaE8              2002-06-28 17:06   23K  
 pr_lemmaF1              1999-08-03 15:18  7.4K  
 pr_lemmaF2              1999-08-03 15:18   27K  
 pr_lemmaF3              1999-08-03 15:18   40K  
 pr_lemmaP1              1999-08-03 15:18   10K  
 pr_lemmaP2              1999-08-03 15:18   18K  
 pr_lemmaPBS             1999-08-03 15:18  5.5K  
 pr_subst_lemma1         1999-08-03 15:18  6.9K  
 pr_subst_lemma2         1999-08-03 15:18   12K  
 pr_subst_lemma3         1999-08-03 15:18  8.1K  
 pr_subst_lemma4         1999-08-03 15:18  3.6K  
 pr_subst_lemma5         1999-08-03 15:18   16K  
 pr_subst_lemma6         1999-08-03 15:18  6.0K  
 subst                   2002-05-22 21:43  586   
 subst_lemmas            1999-08-03 15:18  767