/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2013-01-10 23:34 +0100 9513 async_manager.ML
-rw-r--r-- 2013-01-10 23:34 +0100 5867 sledgehammer_annotate.ML
-rw-r--r-- 2013-01-10 23:34 +0100 20255 sledgehammer_fact.ML
-rw-r--r-- 2013-01-10 23:34 +0100 18828 sledgehammer_isar.ML
-rw-r--r-- 2013-01-10 23:34 +0100 42188 sledgehammer_mash.ML
-rw-r--r-- 2013-01-10 23:34 +0100 23646 sledgehammer_mepo.ML
-rw-r--r-- 2013-01-10 23:34 +0100 14683 sledgehammer_minimize.ML
-rw-r--r-- 2013-01-10 23:34 +0100 1851 sledgehammer_proof.ML
-rw-r--r-- 2013-01-10 23:34 +0100 45979 sledgehammer_provers.ML
-rw-r--r-- 2013-01-10 23:34 +0100 31667 sledgehammer_reconstruct.ML
-rw-r--r-- 2013-01-10 23:34 +0100 12029 sledgehammer_run.ML
-rw-r--r-- 2013-01-10 23:34 +0100 12881 sledgehammer_shrink.ML
-rw-r--r-- 2013-01-10 23:34 +0100 5126 sledgehammer_util.ML