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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 0.doc                   13-Jun-1995 21:30  654   
 0.html                  13-Jun-1995 21:30  1.7K  
 0.lst                   13-Jun-1995 21:30   28   
 readme.txt              13-Jun-1995 21:30  806   
 thm.ltv                 13-Jun-1995 21:30  1.1K  
 thm.tgz                 13-Jun-1995 21:30  360K