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

      Name                    Last modified       Size  Description


[DIR] Parent Directory        13-Jun-1995 21:26      -  
[   ] tr_111.pgz              13-Jun-1995 21:26   380k
Apache/1.3.27 Server at www.cs.cmu.edu Port 80