/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2012-12-12 21:48 +0100 9513 async_manager.ML
-rw-r--r-- 2012-12-12 21:48 +0100 5867 sledgehammer_annotate.ML
-rw-r--r-- 2012-12-12 21:48 +0100 19588 sledgehammer_fact.ML
-rw-r--r-- 2012-12-12 21:48 +0100 18658 sledgehammer_isar.ML
-rw-r--r-- 2012-12-12 21:48 +0100 41191 sledgehammer_mash.ML
-rw-r--r-- 2012-12-12 21:48 +0100 23724 sledgehammer_mepo.ML
-rw-r--r-- 2012-12-12 21:48 +0100 14433 sledgehammer_minimize.ML
-rw-r--r-- 2012-12-12 21:48 +0100 1596 sledgehammer_proof.ML
-rw-r--r-- 2012-12-12 21:48 +0100 44918 sledgehammer_provers.ML
-rw-r--r-- 2012-12-12 21:48 +0100 29359 sledgehammer_reconstruct.ML
-rw-r--r-- 2012-12-12 21:48 +0100 12004 sledgehammer_run.ML
-rw-r--r-- 2012-12-12 21:48 +0100 10417 sledgehammer_shrink.ML
-rw-r--r-- 2012-12-12 21:48 +0100 4292 sledgehammer_util.ML