Index of /afs/cs.cmu.edu/project/ai-repository/ai/areas/reasonng/atp/systems

 Name                    Last modified       Size  Description

 Parent Directory        13-Jun-1995 21:26      -  
 0.doc                   13-Jun-1995 21:30     2k  
 0.html                  13-Jun-1995 21:30     4k  
 coq/                    13-Jun-1995 21:32      -  
 dtp/                    13-Jun-1995 21:28      -  
 elf/                    13-Jun-1995 21:28      -  
 frapps/                 13-Jun-1995 21:26      -  
 ft/                     13-Jun-1995 21:28      -  
 hiper/                  13-Jun-1995 21:30      -  
 isabelle/               13-Jun-1995 21:27      -  
 keim/                   13-Jun-1995 21:29      -  
 lcf/                    13-Jun-1995 21:30      -  
 leantap/                13-Jun-1995 21:30      -  
 mkrp/                   13-Jun-1995 21:29      -  
 mvl/                    13-Jun-1995 21:27      -  
 nqthm/                  13-Jun-1995 21:30      -  
 nuprl/                  13-Jun-1995 21:31      -  
 otter/                  13-Jun-1995 21:27      -  
 plaisted/               13-Jun-1995 21:28      -  
 qu_pl/                  13-Jun-1995 21:29      -  
 rrl/                    13-Jun-1995 21:30      -  
 setheo/                 13-Jun-1995 21:28      -  
 thm/                    13-Jun-1995 21:30      -  
 xpnet/                  13-Jun-1995 21:28      -