Index of /stehr/occ-prolog/testing

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 and-symmetry.occ        07-Sep-2004 21:50  782   
 automata.occ            13-May-2004 20:38  340   
 banker.occ              18-Aug-2004 19:05  1.4K  
 compose.occ             19-Aug-2004 21:01  273   
 depunion.occ            27-Jul-2004 21:54  1.2K  
 ex.occ                  03-Aug-2004 20:35  444   
 fact-spec.occ           13-May-2004 20:38  471   
 forward.occ             03-Aug-2004 20:35  182   
 hoas-allex.occ          22-Jul-2004 22:19  4.1K  
 hoas.occ                03-Aug-2004 20:35  1.0K  
 horn.occ                23-Aug-2004 09:38  1.5K  
 lib/                    10-Sep-2004 11:44    -   
 nat-proof.occ           13-May-2004 20:38  152   
 sorting.occ             09-Sep-2004 11:40   12K  
 test-assoc-comm.occ     29-Aug-2004 20:13  2.1K  
 test-assoc.occ          29-Aug-2004 20:14  2.2K  
 test-comm.occ           19-Aug-2004 21:01  2.3K  
 test-list.occ           13-May-2004 20:38  581   
 test-name-clash.occ     03-Aug-2004 20:35  391   
 test-subtype.occ        03-Aug-2004 20:35  177   
 typeloss.occ            13-May-2004 20:38  550