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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dtp.tgz1995-06-13 21:28 64K 
[   ]logic.ltv1995-06-13 21:28 771  
[   ]logic.tgz1995-06-13 21:28 15K 
[   ]0.lst1995-06-13 21:28 58  
[   ]dtp.ltv1995-06-13 21:28 2.1K 
[   ]manual.pgz1995-06-13 21:28 68K 

Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80