X
SimpleInductionProof
XMLAbstractTermParser
XMLParser
XMLDefinitionParser
XMLParser
XMLFormulaParser
XMLParser
XMLNodeParser
XMLParser
XMLParser
xml
XMLProofDatabaseParser
XMLParser
XMLProofParser
XMLParser
XMLReader
XMLReaders
XMLReaders
readers
XMLSequentParser
XMLParser
XMLSetTermParser
XMLParser
XMLTermParser
XMLParser
XMLUtils
XMLParser
XMLVariableListParser
XMLParser
x
FactorialFunctionEqualityExampleProof
FactorialFunctionEqualityExampleProof2
Pi2Pigeonhole
UniformAssociativity3ExampleProof
inductionExamples
atp_instances
poset4_example
poset_example
vtrat_comparison
x1
UniformAssociativity3ExampleProof
x2
UniformAssociativity3ExampleProof
xml
formats