Index of /471/fall06/code/prolog/pttp/doc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]tptp-results-for-ptt..>2006-11-13 08:25 106K 
[TXT]tptp-results-for-ptt..>2006-11-13 08:25 111K 
[   ]stickel-pttp-tr.ps.gz 2006-11-13 08:25 98K 
[TXT]pttp-examples.html 2006-11-13 08:25 11K 
[   ]stickel-pttp-jar.ps.gz 2006-11-13 08:25 79K 
[TXT]pttp.html 2006-11-13 08:25 51K 
[TXT]pttp-dalit.html 2006-11-13 08:25 10K