Index of /SATURATE/examples/LocalTheories/KD45

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 th12                              1995-06-13 14:57  4.3K  
 th11                              1995-06-13 14:58  4.0K  
 th1                               1995-06-13 15:39  243   
 nf_logic                          1995-06-13 14:27  1.4K  
 ls-lR.gz                          2007-03-29 09:53  205   
 ls-lR                             2007-03-29 09:53  576   
 logic                             1995-06-13 15:09  703   
 kripke                            2003-01-27 19:15  2.3K  
 defaults                          1995-11-11 19:16  297