NameDateSize

..25-Jul-2019169

atp_problem_import.MLH A D25-Jul-201912.1 KiB

ATP_Problem_Import.thyH A D25-Jul-2019679

atp_theory_export.MLH A D25-Jul-201913.8 KiB

ATP_Theory_Export.thyH A D25-Jul-20191.4 KiB

CASC/H25-Jul-20196

etc/H25-Jul-20193

lib/H25-Jul-20193

mash_eval.MLH A D25-Jul-20196.2 KiB

MaSh_Eval.thyH A D25-Jul-20191,001

mash_export.MLH A D25-Jul-201911.7 KiB

MaSh_Export.thyH A D25-Jul-20192.5 KiB

MaSh_Export_Base.thyH A D25-Jul-2019922

sledgehammer_tactics.MLH A D25-Jul-20192.6 KiB

THF_Arith.thyH A D25-Jul-20192.3 KiB

TPTP_Interpret.thyH A D25-Jul-2019423

TPTP_Interpret_Test.thyH A D25-Jul-20193.9 KiB

TPTP_Parser/H25-Jul-201918

TPTP_Parser.thyH A D25-Jul-20191.8 KiB

TPTP_Parser_Example.thyH A D25-Jul-20192 KiB

TPTP_Parser_Test.thyH A D25-Jul-20194.1 KiB

TPTP_Proof_Reconstruction.thyH A D25-Jul-201974.8 KiB

TPTP_Proof_Reconstruction_Test.thyH A D25-Jul-201926.2 KiB

TPTP_Proof_Reconstruction_Test_Units.thyH A D25-Jul-2019100.8 KiB

TPTP_Test.thyH A D25-Jul-20192.8 KiB