Index of /SATURATE/examples

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 overbeek1               1993-08-06 13:54  502   
 pelletier45             1993-08-06 13:54  1.0K  
 pelletier46             1993-08-06 13:54  1.0K  
 oc15                    1994-04-27 14:14  348   
 loveland                1994-04-29 08:01  605   
 ded                     1994-10-20 09:25  628   
 ind                     1995-04-27 12:15  313   
 nat1                    1995-04-27 15:18  276   
 pl5orig                 1995-08-30 06:53  758   
 to.ord                  1995-11-08 20:30  264   
 total_ordering          1995-11-09 14:47  200   
 to                      1995-11-14 17:16  429   
 g.ord                   1996-01-31 20:39   52   
 g1                      1996-01-31 20:39  592   
 pigs                    1996-01-31 20:39  2.1K  
 overbeek3               1996-02-20 14:34  891   
 ac                      1996-02-20 14:35  254   
 aci                     1996-02-20 14:35  317   
 asg                     1996-02-21 07:03  448   
 concept                 1996-03-28 13:42  2.3K  
 hres15c                 1996-05-15 07:28  215   
 ex5                     1996-05-15 15:49  2.8K  
 wos22o                  1996-05-17 09:31  1.1K  
 wos22                   1996-05-17 09:35  3.5K  
 ag.p.ord                1996-10-07 13:00   91   
 ring                    1996-10-07 14:50  220   
 g2                      1996-10-07 19:59  502   
 pl5                     1996-10-09 09:29  1.2K  
 union1                  1996-10-12 16:21  205   
 or                      1996-10-15 09:12  374   
 overbeek3.ord           1996-10-23 17:14  240   
 pell24                  1996-10-30 10:20  703   
 pell53                  1996-11-26 14:53  544   
 test                    1998-07-17 14:00   55   
 animals                 1998-11-09 15:27  1.9K  
 pell45                  1998-11-09 16:42  924   
 halteproblem            1998-11-10 16:03  4.2K  
 halteproblem_knf        1998-11-10 16:28   12K  
 halteproblem_hg         1998-11-11 16:31  1.7K  
 halteproblem3           1998-11-12 17:08  5.1K  
 lion_uni2               1999-06-15 21:06  2.3K  
 lion_uni                1999-11-15 15:25   84   
 lion_uni_th             1999-11-15 15:26  1.6K  
 intp                    2000-05-16 10:48  462   
 setp                    2001-02-02 13:03  2.2K  
 setp.ord                2001-02-02 14:44  205   
 pell53.1                2001-09-03 16:55   10K  
 pell53.ord              2001-09-03 16:58   27K  
 pell53fo                2001-09-04 10:46  177   
 g                       2001-09-27 15:15  285   
 hres15                  2001-11-27 17:09  790   
 lion_uni1               2001-11-28 16:50  1.8K  
 ag                      2002-01-22 12:28   71   
 groupTheory             2002-04-18 07:41  321   
 tarski2                 2002-08-27 20:31  3.4K  
 needham                 2002-10-25 15:56  4.5K  
 sheffer3                2002-11-14 15:38  6.5K  
 tarski                  2003-01-20 16:13  3.2K  
 Agatha.dfg              2003-05-15 11:09  3.7K  
 Agatha.ord              2003-05-15 11:09   79   
 sr                      2003-05-15 11:18  2.3K  
 agp                     2003-09-30 13:35   96   
 exp                     2003-09-30 13:37   39   
 defaults                2003-12-13 13:25  297   
 ag.n                    2004-03-08 10:52  3.1K  
 agp.n                   2004-03-08 10:52  3.1K  
 lion_uni_th.n           2004-03-08 10:53   72K  
 total_ordering.n        2004-03-08 10:53  4.6K  
 pl5hg.dfg               2004-03-10 16:19  2.1K  
 pl5hg                   2004-03-10 16:24  1.3K  
 ovb3.spa                2004-03-16 19:12  628   
 ovb33                   2004-03-16 19:18  1.7K  
 ovb333.dfg              2004-03-16 19:21  1.1K  
 set.ord                 2004-03-30 14:14   18K  
 set                     2004-03-30 14:14  1.6K  
 ls-lR                   2007-03-29 09:53   49K  
 ls-lR.gz                2007-03-29 09:53  7.3K  
 ALC/                    2012-09-24 12:09    -   
 ChurchRosser/           2012-09-24 12:09    -   
 ChurchRosserOrig/       2012-09-24 12:09    -   
 LocalTheories/          2012-09-24 12:09    -   
 Pelletier/              2012-09-24 12:09    -   
 bledsoe/                2012-09-24 12:09    -   
 builtinTheories/        2012-09-24 12:09    -   
 explicit_substitutions/ 2012-09-24 12:09    -   
 happy/                  2012-09-24 12:09    -   
 hoare/                  2012-09-24 12:09    -   
 library/                2012-09-24 12:09    -   
 modal-logic/            2012-09-24 12:09    -   
 queues/                 2012-09-24 12:09    -   
 tests/                  2012-09-24 12:09    -