Index of /SATURATE/examples/builtinTheories

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cong_sat                1996-06-11 20:31  3.0K  
 cong                    1996-06-04 15:47  2.8K  
 kd45                    1996-05-20 16:47  2.1K  
 quasiOrder              1999-07-22 17:29  1.7K  
 equivalence             1996-11-25 16:50  1.5K  
 transitivity            1999-07-22 17:16  1.3K  
 tot_ord                 1996-06-04 14:26  1.1K  
 quasiOrderSat           1996-06-27 21:35  1.0K  
 ls-lR                   2007-03-29 09:53  788   
 s4                      1996-05-20 17:11  653   
 defaults                1996-05-14 13:11  290   
 ls-lR.gz                2007-03-29 09:53  272