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

 Name                    Last modified      Size  Description
 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