/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2014-10-10 19:55 +0200 9235 async_manager.ML
-rw-r--r-- 2014-10-10 19:55 +0200 13330 sledgehammer.ML
-rw-r--r-- 2014-10-10 19:55 +0200 17562 sledgehammer_commands.ML
-rw-r--r-- 2014-10-10 19:55 +0200 22091 sledgehammer_fact.ML
-rw-r--r-- 2014-10-10 19:55 +0200 19177 sledgehammer_isar.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6651 sledgehammer_isar_annotate.ML
-rw-r--r-- 2014-10-10 19:55 +0200 12833 sledgehammer_isar_compress.ML
-rw-r--r-- 2014-10-10 19:55 +0200 5009 sledgehammer_isar_minimize.ML
-rw-r--r-- 2014-10-10 19:55 +0200 9116 sledgehammer_isar_preplay.ML
-rw-r--r-- 2014-10-10 19:55 +0200 14384 sledgehammer_isar_proof.ML
-rw-r--r-- 2014-10-10 19:55 +0200 60240 sledgehammer_mash.ML
-rw-r--r-- 2014-10-10 19:55 +0200 22791 sledgehammer_mepo.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6925 sledgehammer_proof_methods.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6754 sledgehammer_prover.ML
-rw-r--r-- 2014-10-10 19:55 +0200 18390 sledgehammer_prover_atp.ML
-rw-r--r-- 2014-10-10 19:55 +0200 10634 sledgehammer_prover_minimize.ML
-rw-r--r-- 2014-10-10 19:55 +0200 9101 sledgehammer_prover_smt.ML
-rw-r--r-- 2014-10-10 19:55 +0200 5758 sledgehammer_util.ML