Index of /afs/cs/project/ai-repository/ai/areas/nlp/parsing/proof

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 0.doc                   13-Jun-1995 21:23  1.1K  
 0.html                  13-Jun-1995 21:23  2.3K  
 0.lst                   13-Jun-1995 21:23  170   
 proof.ltv               13-Jun-1995 21:23  2.2K  
 proof.tgz               13-Jun-1995 21:23  1.6M  
 readme.txt              13-Jun-1995 21:23  9.0K