/Source/Provers/TPTP/

• ../
• ProverInterface.cs
• TPTP.csproj
• TPTPLineariser.cs
• TypeDeclCollector.cs