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

 Name                    Last modified       Size  Description

 Parent Directory        13-Jun-1995 21:26      -  
 0.doc                   13-Jun-1995 21:26     3k  
 v113/                   13-Jun-1995 21:26      -  
 doc/                    13-Jun-1995 21:26      -  
 0.html                  13-Jun-1995 21:26     5k  
 v111/                   13-Jun-1995 21:26      -