/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2015-08-13 11:05 +0200 9538 async_manager_legacy.ML
-rw-r--r-- 2015-08-13 11:05 +0200 13555 sledgehammer.ML
-rw-r--r-- 2015-08-13 11:05 +0200 16885 sledgehammer_commands.ML
-rw-r--r-- 2015-08-13 11:05 +0200 22225 sledgehammer_fact.ML
-rw-r--r-- 2015-08-13 11:05 +0200 19602 sledgehammer_isar.ML
-rw-r--r-- 2015-08-13 11:05 +0200 6649 sledgehammer_isar_annotate.ML
-rw-r--r-- 2015-08-13 11:05 +0200 12831 sledgehammer_isar_compress.ML
-rw-r--r-- 2015-08-13 11:05 +0200 4919 sledgehammer_isar_minimize.ML
-rw-r--r-- 2015-08-13 11:05 +0200 9094 sledgehammer_isar_preplay.ML
-rw-r--r-- 2015-08-13 11:05 +0200 14460 sledgehammer_isar_proof.ML
-rw-r--r-- 2015-08-13 11:05 +0200 60302 sledgehammer_mash.ML
-rw-r--r-- 2015-08-13 11:05 +0200 22796 sledgehammer_mepo.ML
-rw-r--r-- 2015-08-13 11:05 +0200 6826 sledgehammer_proof_methods.ML
-rw-r--r-- 2015-08-13 11:05 +0200 6774 sledgehammer_prover.ML
-rw-r--r-- 2015-08-13 11:05 +0200 18363 sledgehammer_prover_atp.ML
-rw-r--r-- 2015-08-13 11:05 +0200 10985 sledgehammer_prover_minimize.ML
-rw-r--r-- 2015-08-13 11:05 +0200 9109 sledgehammer_prover_smt.ML
-rw-r--r-- 2015-08-13 11:05 +0200 5588 sledgehammer_util.ML