| .. | | 30-Oct-2020 | 60 |
| async_manager_legacy.ML | H A D | 25-Jul-2019 | 5.9 KiB |
| sledgehammer.ML | H A D | 25-Jul-2019 | 12.5 KiB |
| sledgehammer_commands.ML | H A D | 30-Oct-2020 | 16 KiB |
| sledgehammer_fact.ML | H A D | 30-Oct-2020 | 22.2 KiB |
| sledgehammer_isar.ML | H A D | 30-Oct-2020 | 20.5 KiB |
| sledgehammer_isar_annotate.ML | H A D | 25-Jul-2019 | 6.5 KiB |
| sledgehammer_isar_compress.ML | H A D | 25-Jul-2019 | 12.6 KiB |
| sledgehammer_isar_minimize.ML | H A D | 25-Jul-2019 | 4.8 KiB |
| sledgehammer_isar_preplay.ML | H A D | 25-Jul-2019 | 9 KiB |
| sledgehammer_isar_proof.ML | H A D | 30-Oct-2020 | 14.1 KiB |
| sledgehammer_mash.ML | H A D | 30-Oct-2020 | 60.2 KiB |
| sledgehammer_mepo.ML | H A D | 25-Jul-2019 | 22.6 KiB |
| sledgehammer_proof_methods.ML | H A D | 30-Oct-2020 | 6.7 KiB |
| sledgehammer_prover.ML | H A D | 25-Jul-2019 | 6.3 KiB |
| sledgehammer_prover_atp.ML | H A D | 30-Oct-2020 | 17.9 KiB |
| sledgehammer_prover_minimize.ML | H A D | 25-Jul-2019 | 10.7 KiB |
| sledgehammer_prover_smt.ML | H A D | 25-Jul-2019 | 9 KiB |
| sledgehammer_util.ML | H A D | 30-Oct-2020 | 5.5 KiB |