/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2017-06-06 13:13 +0200 6071 async_manager_legacy.ML
-rw-r--r-- 2017-06-06 13:13 +0200 12838 sledgehammer.ML
-rw-r--r-- 2017-06-06 13:13 +0200 16159 sledgehammer_commands.ML
-rw-r--r-- 2017-06-06 13:13 +0200 22373 sledgehammer_fact.ML
-rw-r--r-- 2017-06-06 13:13 +0200 20824 sledgehammer_isar.ML
-rw-r--r-- 2017-06-06 13:13 +0200 6644 sledgehammer_isar_annotate.ML
-rw-r--r-- 2017-06-06 13:13 +0200 12872 sledgehammer_isar_compress.ML
-rw-r--r-- 2017-06-06 13:13 +0200 4945 sledgehammer_isar_minimize.ML
-rw-r--r-- 2017-06-06 13:13 +0200 9164 sledgehammer_isar_preplay.ML
-rw-r--r-- 2017-06-06 13:13 +0200 14449 sledgehammer_isar_proof.ML
-rw-r--r-- 2017-06-06 13:13 +0200 63902 sledgehammer_mash.ML
-rw-r--r-- 2017-06-06 13:13 +0200 22789 sledgehammer_mepo.ML
-rw-r--r-- 2017-06-06 13:13 +0200 6926 sledgehammer_proof_methods.ML
-rw-r--r-- 2017-06-06 13:13 +0200 6442 sledgehammer_prover.ML
-rw-r--r-- 2017-06-06 13:13 +0200 18627 sledgehammer_prover_atp.ML
-rw-r--r-- 2017-06-06 13:13 +0200 10959 sledgehammer_prover_minimize.ML
-rw-r--r-- 2017-06-06 13:13 +0200 9124 sledgehammer_prover_smt.ML
-rw-r--r-- 2017-06-06 13:13 +0200 5598 sledgehammer_util.ML