Index of /SATURATE/examples/LocalTheories

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 KD45/                   2006-07-06 13:57    -   
 defaults                2000-05-12 13:29  290   
 intineq                 1998-06-10 10:22  332   
 congHO                  1995-11-28 07:21  374   
 ac1                     2001-08-16 14:23  440   
 t                       1999-08-18 16:47  444   
 subtprod                2001-08-22 09:49  449   
 listprimseq             2001-06-27 09:12  457   
 acf2g1                  2001-08-16 15:22  473   
 result                  2002-11-15 17:34  508   
 prop                    1995-03-28 07:14  510   
 prop1                   1995-05-10 19:52  515   
 setc1.ord               1995-11-28 07:27  515   
 semilattice             2001-09-20 16:22  534   
 listcong                2003-09-16 03:18  554   
 rewrite                 2000-05-09 09:43  555   
 flatlists               2003-09-16 06:23  563   
 lists                   2001-11-08 13:15  569   
 hom                     2001-09-20 13:35  570   
 listseq                 2001-06-27 09:33  572   
 congf2g1                2001-09-04 15:07  587   
 ucfg                    1995-09-28 08:23  615   
 setc                    1995-11-27 09:20  618   
 cfg                     2000-03-20 12:48  645   
 join2                   2001-05-09 13:49  677   
 listprims               2003-09-16 03:03  680   
 l1                      2001-06-11 07:42  707   
 subt                    2001-08-22 08:43  795   
 cong2c                  1996-05-13 12:59  835   
 rewrite2eq              2001-06-01 09:18  836   
 arrays                  2003-09-15 18:58  870   
 gmr                     2000-04-18 10:37  894   
 setc.ord                1995-11-27 09:21  906   
 to                      1995-05-23 20:23  906   
 inteq                   2001-07-02 16:14  915   
 setc1                   1995-11-28 07:28  952   
 tm                      1995-09-29 12:47  954   
 congM                   1996-04-30 12:37  960   
 cong1                   1996-04-29 16:14  972   
 ml                      1999-08-10 08:54  1.0K  
 cong1sq                 1999-08-16 14:41  1.0K  
 rewrite2                2001-05-09 12:20  1.0K  
 ls-lR.gz                2007-03-29 09:53  1.0K  
 unifinj                 2002-11-14 12:41  1.0K  
 ord                     1995-05-23 20:23  1.0K  
 cflr                    2000-03-20 15:55  1.1K  
 increwrite              2001-11-12 13:11  1.1K  
 congHO.ord              1995-11-28 07:24  1.2K  
 cong3                   1999-08-09 21:08  1.2K  
 struct                  1995-08-08 16:56  1.3K  
 cong21                  1996-04-30 10:07  1.3K  
 join                    2001-05-09 13:54  1.3K  
 bool                    1996-11-04 10:18  1.3K  
 boolst                  1995-08-07 15:35  1.3K  
 cong                    2000-09-20 14:22  1.3K  
 emb                     1995-05-12 15:05  1.3K  
 nateq                   2001-06-27 09:48  1.3K  
 es                      1996-06-10 07:42  1.3K  
 tc2                     2000-03-31 11:30  1.4K  
 tc                      1999-08-12 12:57  1.5K  
 nat                     2001-06-11 15:55  1.5K  
 cong2                   1996-05-13 13:14  1.5K  
 eq                      2003-09-16 02:57  1.5K  
 int                     2001-06-27 12:50  1.7K  
 emb2                    2000-05-16 11:44  1.9K  
 congpairs               2000-08-10 14:35  2.0K  
 lpo                     2000-08-11 12:20  2.1K  
 unif                    2002-11-14 20:53  2.4K  
 weakLK                  2003-09-15 17:57  2.8K  
 ac                      2000-10-15 14:37  2.8K  
 lktest                  1995-08-02 08:01  3.8K  
 ls-lR                   2007-03-29 09:53  5.0K  
 lk                      1995-08-04 09:23  5.6K