/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2013-10-18 00:05 +0200 9539 async_manager.ML
-rw-r--r-- 2013-10-18 00:05 +0200 7276 sledgehammer_annotate.ML
-rw-r--r-- 2013-10-18 00:05 +0200 12969 sledgehammer_compress.ML
-rw-r--r-- 2013-10-18 00:05 +0200 22221 sledgehammer_fact.ML
-rw-r--r-- 2013-10-18 00:05 +0200 19366 sledgehammer_isar.ML
-rw-r--r-- 2013-10-18 00:05 +0200 51552 sledgehammer_mash.ML
-rw-r--r-- 2013-10-18 00:05 +0200 23790 sledgehammer_mepo.ML
-rw-r--r-- 2013-10-18 00:05 +0200 15271 sledgehammer_minimize.ML
-rw-r--r-- 2013-10-18 00:05 +0200 3401 sledgehammer_minimize_isar.ML
-rw-r--r-- 2013-10-18 00:05 +0200 10994 sledgehammer_preplay.ML
-rw-r--r-- 2013-10-18 00:05 +0200 9843 sledgehammer_print.ML
-rw-r--r-- 2013-10-18 00:05 +0200 5709 sledgehammer_proof.ML
-rw-r--r-- 2013-10-18 00:05 +0200 45096 sledgehammer_provers.ML
-rw-r--r-- 2013-10-18 00:05 +0200 25001 sledgehammer_reconstruct.ML
-rw-r--r-- 2013-10-18 00:05 +0200 1151 sledgehammer_reconstructor.ML
-rw-r--r-- 2013-10-18 00:05 +0200 13366 sledgehammer_run.ML
-rw-r--r-- 2013-10-18 00:05 +0200 2080 sledgehammer_try0.ML
-rw-r--r-- 2013-10-18 00:05 +0200 6014 sledgehammer_util.ML