Index of /~tptp/TPTP/Proposals

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]AnswerExtraction.html 2014-11-26 08:57 10K 
[DIR]Archive/ 2018-02-09 09:59 -  
[TXT]LogicSpecification.html2017-08-11 06:27 11K 
[TXT]MLFSyntaxBNF.txt 2014-11-26 08:57 2.3K 
[TXT]SystemBuild.html 2014-11-26 08:57 6.5K 
[   ]TFXExamples.tgz 2018-08-14 15:02 29K 
[TXT]TFXTHX.html 2018-04-12 12:44 22K 
[TXT]TPILanguage.html 2014-11-26 08:57 36K