Index of /SATURATE/examples/ChurchRosser

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