Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/problems

      Name                    Last modified       Size  Description


[DIR] Parent Directory        13-Jun-1995 21:26      -  
[DIR] atp/                    13-Jun-1995 21:26      -  
[DIR] tptp/                   13-Jun-1995 21:26      -  
[   ] 0.doc                   13-Jun-1995 21:26     1k  
[TXT] 0.html                  13-Jun-1995 21:26     2k
Apache/1.3.27 Server at www.cs.cmu.edu Port 80