Index of /afs/cs/project/ai-repository/ai/lang/prolog/impl/other/goedel/v1_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]0.lst1994-07-15 11:53 555  
[   ]goedel.ltv1994-07-15 11:53 16K 
[   ]goedel.tgz1994-06-12 19:56 441K 
[   ]linux.ltv1994-07-15 11:53 3.4K 
[   ]linux.tgz1994-06-12 19:52 820K 
[TXT]readme.txt1994-06-12 19:51 1.3K 
[   ]sparc1.ltv1994-07-15 11:53 1.6K 
[   ]sparc1.tgz1994-06-12 19:53 390K 
[   ]sparc2.ltv1994-07-15 11:53 1.3K 
[   ]sparc2.tgz1994-06-12 19:54 528K 
[   ]sparc3.ltv1994-07-15 11:53 273  
[   ]sparc3.tgz1994-06-12 19:55 690K 

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