TPTP Documents

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