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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]0.iso1995-06-13 21:27 62  
[ ]0.lst1995-06-13 21:27 61  
[ ]input.ltv1995-06-13 21:27 2.7K 
[ ]input.tgz1995-06-13 21:27 23K 
[ ]manual.ltv1995-06-13 21:27 241  
[ ]manual.tgz1995-06-13 21:27 218K 
[ ]otter300.hqx1995-06-13 21:27 256K 
[TXT]readme.txt1995-06-13 21:27 460  
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80