Index of /SATURATE/examples/modal-logic

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 k.s                     1995-05-10 16:33  103   
 ex2                     1994-10-06 12:48  125   
 k1                      1995-05-10 16:33  142   
 ls-lR.gz                2007-03-29 09:53  274   
 defaults                1995-11-11 18:24  297   
 test2                   1994-07-08 11:51  436   
 ex2_sat                 1994-10-06 13:07  467   
 k1.s                    1994-10-06 12:46  526   
 test                    1994-07-08 11:50  582   
 ls-lR                   2007-03-29 09:53  883   
 t12                     1994-09-15 09:49  1.2K  
 kd45c                   1996-05-13 09:41  2.0K  
 kd45                    2000-11-15 13:22  2.5K  
 F-combinator            1994-05-02 14:44   22K