/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2014-05-16 19:13 +0200 9537 async_manager.ML
-rw-r--r-- 2014-05-16 19:13 +0200 11705 sledgehammer.ML
-rw-r--r-- 2014-05-16 19:13 +0200 19185 sledgehammer_commands.ML
-rw-r--r-- 2014-05-16 19:13 +0200 21940 sledgehammer_fact.ML
-rw-r--r-- 2014-05-16 19:13 +0200 15963 sledgehammer_isar.ML
-rw-r--r-- 2014-05-16 19:13 +0200 6722 sledgehammer_isar_annotate.ML
-rw-r--r-- 2014-05-16 19:13 +0200 12489 sledgehammer_isar_compress.ML
-rw-r--r-- 2014-05-16 19:13 +0200 3907 sledgehammer_isar_minimize.ML
-rw-r--r-- 2014-05-16 19:13 +0200 8407 sledgehammer_isar_preplay.ML
-rw-r--r-- 2014-05-16 19:13 +0200 12684 sledgehammer_isar_proof.ML
-rw-r--r-- 2014-05-16 19:13 +0200 53020 sledgehammer_mash.ML
-rw-r--r-- 2014-05-16 19:13 +0200 23792 sledgehammer_mepo.ML
-rw-r--r-- 2014-05-16 19:13 +0200 6064 sledgehammer_proof_methods.ML
-rw-r--r-- 2014-05-16 19:13 +0200 10452 sledgehammer_prover.ML
-rw-r--r-- 2014-05-16 19:13 +0200 17981 sledgehammer_prover_atp.ML
-rw-r--r-- 2014-05-16 19:13 +0200 17838 sledgehammer_prover_minimize.ML
-rw-r--r-- 2014-05-16 19:13 +0200 10689 sledgehammer_prover_smt.ML
-rw-r--r-- 2014-05-16 19:13 +0200 11570 sledgehammer_prover_smt2.ML
-rw-r--r-- 2014-05-16 19:13 +0200 5624 sledgehammer_util.ML