/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2014-03-13 14:48 +0100 9539 async_manager.ML
-rw-r--r-- 2014-03-13 14:48 +0100 11709 sledgehammer.ML
-rw-r--r-- 2014-03-13 14:48 +0100 19374 sledgehammer_commands.ML
-rw-r--r-- 2014-03-13 14:48 +0100 21896 sledgehammer_fact.ML
-rw-r--r-- 2014-03-13 14:48 +0100 16105 sledgehammer_isar.ML
-rw-r--r-- 2014-03-13 14:48 +0100 6722 sledgehammer_isar_annotate.ML
-rw-r--r-- 2014-03-13 14:48 +0100 12489 sledgehammer_isar_compress.ML
-rw-r--r-- 2014-03-13 14:48 +0100 3907 sledgehammer_isar_minimize.ML
-rw-r--r-- 2014-03-13 14:48 +0100 8407 sledgehammer_isar_preplay.ML
-rw-r--r-- 2014-03-13 14:48 +0100 12890 sledgehammer_isar_proof.ML
-rw-r--r-- 2014-03-13 14:48 +0100 53027 sledgehammer_mash.ML
-rw-r--r-- 2014-03-13 14:48 +0100 23781 sledgehammer_mepo.ML
-rw-r--r-- 2014-03-13 14:48 +0100 6549 sledgehammer_proof_methods.ML
-rw-r--r-- 2014-03-13 14:48 +0100 10449 sledgehammer_prover.ML
-rw-r--r-- 2014-03-13 14:48 +0100 17970 sledgehammer_prover_atp.ML
-rw-r--r-- 2014-03-13 14:48 +0100 17838 sledgehammer_prover_minimize.ML
-rw-r--r-- 2014-03-13 14:48 +0100 10693 sledgehammer_prover_smt.ML
-rw-r--r-- 2014-03-13 14:48 +0100 11475 sledgehammer_prover_smt2.ML
-rw-r--r-- 2014-03-13 14:48 +0100 5624 sledgehammer_util.ML