/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2014-02-03 19:32 +0100 9539 async_manager.ML
-rw-r--r-- 2014-02-03 19:32 +0100 11786 sledgehammer.ML
-rw-r--r-- 2014-02-03 19:32 +0100 18771 sledgehammer_commands.ML
-rw-r--r-- 2014-02-03 19:32 +0100 21902 sledgehammer_fact.ML
-rw-r--r-- 2014-02-03 19:32 +0100 15313 sledgehammer_isar.ML
-rw-r--r-- 2014-02-03 19:32 +0100 6722 sledgehammer_isar_annotate.ML
-rw-r--r-- 2014-02-03 19:32 +0100 13235 sledgehammer_isar_compress.ML
-rw-r--r-- 2014-02-03 19:32 +0100 3785 sledgehammer_isar_minimize.ML
-rw-r--r-- 2014-02-03 19:32 +0100 8185 sledgehammer_isar_preplay.ML
-rw-r--r-- 2014-02-03 19:32 +0100 12496 sledgehammer_isar_proof.ML
-rw-r--r-- 2014-02-03 19:32 +0100 53028 sledgehammer_mash.ML
-rw-r--r-- 2014-02-03 19:32 +0100 23781 sledgehammer_mepo.ML
-rw-r--r-- 2014-02-03 19:32 +0100 6903 sledgehammer_proof_methods.ML
-rw-r--r-- 2014-02-03 19:32 +0100 10665 sledgehammer_prover.ML
-rw-r--r-- 2014-02-03 19:32 +0100 17976 sledgehammer_prover_atp.ML
-rw-r--r-- 2014-02-03 19:32 +0100 17539 sledgehammer_prover_minimize.ML
-rw-r--r-- 2014-02-03 19:32 +0100 10675 sledgehammer_prover_smt.ML
-rw-r--r-- 2014-02-03 19:32 +0100 5624 sledgehammer_util.ML