| .. | | 25-Jul-2019 | 169 |
| atp_problem_import.ML | H A D | 25-Jul-2019 | 12.1 KiB |
| ATP_Problem_Import.thy | H A D | 25-Jul-2019 | 679 |
| atp_theory_export.ML | H A D | 25-Jul-2019 | 13.8 KiB |
| ATP_Theory_Export.thy | H A D | 25-Jul-2019 | 1.4 KiB |
| CASC/ | H | 25-Jul-2019 | 6 |
| etc/ | H | 25-Jul-2019 | 3 |
| lib/ | H | 25-Jul-2019 | 3 |
| mash_eval.ML | H A D | 25-Jul-2019 | 6.2 KiB |
| MaSh_Eval.thy | H A D | 25-Jul-2019 | 1,001 |
| mash_export.ML | H A D | 25-Jul-2019 | 11.7 KiB |
| MaSh_Export.thy | H A D | 25-Jul-2019 | 2.5 KiB |
| MaSh_Export_Base.thy | H A D | 25-Jul-2019 | 922 |
| sledgehammer_tactics.ML | H A D | 25-Jul-2019 | 2.6 KiB |
| THF_Arith.thy | H A D | 25-Jul-2019 | 2.3 KiB |
| TPTP_Interpret.thy | H A D | 25-Jul-2019 | 423 |
| TPTP_Interpret_Test.thy | H A D | 25-Jul-2019 | 3.9 KiB |
| TPTP_Parser/ | H | 25-Jul-2019 | 18 |
| TPTP_Parser.thy | H A D | 25-Jul-2019 | 1.8 KiB |
| TPTP_Parser_Example.thy | H A D | 25-Jul-2019 | 2 KiB |
| TPTP_Parser_Test.thy | H A D | 25-Jul-2019 | 4.1 KiB |
| TPTP_Proof_Reconstruction.thy | H A D | 25-Jul-2019 | 74.8 KiB |
| TPTP_Proof_Reconstruction_Test.thy | H A D | 25-Jul-2019 | 26.2 KiB |
| TPTP_Proof_Reconstruction_Test_Units.thy | H A D | 25-Jul-2019 | 100.8 KiB |
| TPTP_Test.thy | H A D | 25-Jul-2019 | 2.8 KiB |