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

 Name                    Last modified       Size  Description

 Parent Directory        13-Jun-1995 21:26      -  
 announce.txt            13-Jun-1995 21:26     2k  
 readme.txt              13-Jun-1995 21:26     9k  
 tptp_113.tgz            13-Jun-1995 21:26   1.1M