TPTP Documents

`ARIDomains`	`AxiomList`	`Bibliography.bib`	`CNFSynopsis`	`FOFSynopsis`
`GeneratorList`	`History`	`OverallSynopsis`	`ProblemAndSolutionStatistics`	`ProblemList`
`ReadMe`	`ReverseIndex`	`SyntaxBNF`	`Template`	`TFFSynopsis`
`THFSynopsis`	`VerySimilarProblemsLists`