Index of /afs/cs/user/reids/OldFiles/code/ckp-gordius/logic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]deduction.fasl2000-04-27 13:27 48K 
[ ]deduction.lisp1999-12-13 15:55 6.8K 
[ ]logic-test.lisp1999-07-29 13:23 557  
[ ]quantifiers.lisp1999-07-29 13:23 8.3K 
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 443