Index of /afs/cs.cmu.edu/project/ai-repository/ai/areas/reasonng/atp/systems/dtp/v24

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 0.lst 13-Jun-1995 21:28 58 [   ] dtp.ltv 13-Jun-1995 21:28 2.1K [   ] dtp.tgz 13-Jun-1995 21:28 64K [   ] logic.ltv 13-Jun-1995 21:28 771 [   ] logic.tgz 13-Jun-1995 21:28 15K [   ] manual.pgz 13-Jun-1995 21:28 68K