/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2022-03-25 13:52 +0100 6071 async_manager_legacy.ML
-rw-r--r-- 2022-03-25 13:52 +0100 18520 sledgehammer.ML
-rw-r--r-- 2022-03-25 13:52 +0100 30459 sledgehammer_atp_systems.ML
-rw-r--r-- 2022-03-25 13:52 +0100 16348 sledgehammer_commands.ML
-rw-r--r-- 2022-03-25 13:52 +0100 22769 sledgehammer_fact.ML
-rw-r--r-- 2022-03-25 13:52 +0100 23317 sledgehammer_isar.ML
-rw-r--r-- 2022-03-25 13:52 +0100 6644 sledgehammer_isar_annotate.ML
-rw-r--r-- 2022-03-25 13:52 +0100 14661 sledgehammer_isar_compress.ML
-rw-r--r-- 2022-03-25 13:52 +0100 5911 sledgehammer_isar_minimize.ML
-rw-r--r-- 2022-03-25 13:52 +0100 9430 sledgehammer_isar_preplay.ML
-rw-r--r-- 2022-03-25 13:52 +0100 17436 sledgehammer_isar_proof.ML
-rw-r--r-- 2022-03-25 13:52 +0100 61706 sledgehammer_mash.ML
-rw-r--r-- 2022-03-25 13:52 +0100 23139 sledgehammer_mepo.ML
-rw-r--r-- 2022-03-25 13:52 +0100 6732 sledgehammer_proof_methods.ML
-rw-r--r-- 2022-03-25 13:52 +0100 8705 sledgehammer_prover.ML
-rw-r--r-- 2022-03-25 13:52 +0100 15381 sledgehammer_prover_atp.ML
-rw-r--r-- 2022-03-25 13:52 +0100 11152 sledgehammer_prover_minimize.ML
-rw-r--r-- 2022-03-25 13:52 +0100 6572 sledgehammer_prover_smt.ML
-rw-r--r-- 2022-03-25 13:52 +0100 2807 sledgehammer_tactics.ML
-rw-r--r-- 2022-03-25 13:52 +0100 5521 sledgehammer_util.ML