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

 Name                    Last modified       Size  Description

 Parent Directory        13-Jun-1995 21:26      -  
 0.lst                   13-Jun-1995 21:26     1k  
 announce.txt            13-Jun-1995 21:26     5k  
 readme.txt              13-Jun-1995 21:26     9k  
 tptp_111.ltv            13-Jun-1995 21:26   220k  
 tptp_111.tgz            13-Jun-1995 21:26   1.1M