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

 Name                    Last modified       Size  Description

 Parent Directory        13-Jun-1995 21:28      -  
 0.lst                   13-Jun-1995 21:28     1k  
 dtp.ltv                 13-Jun-1995 21:28     2k  
 dtp.tgz                 13-Jun-1995 21:28    64k  
 logic.ltv               13-Jun-1995 21:28     1k  
 logic.tgz               13-Jun-1995 21:28    15k  
 manual.pgz              13-Jun-1995 21:28    68k