/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-06-22 14:28 +0200 2049 meson_tactic.ML
-rw-r--r-- 2010-06-22 14:28 +0200 38637 metis_tactics.ML
-rw-r--r-- 2010-06-22 14:28 +0200 23959 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-06-22 14:28 +0200 5318 sledgehammer_fact_minimizer.ML
-rw-r--r-- 2010-06-22 14:28 +0200 21889 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-06-22 14:28 +0200 16953 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-06-22 14:28 +0200 19072 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-06-22 14:28 +0200 13850 sledgehammer_isar.ML
-rw-r--r-- 2010-06-22 14:28 +0200 43473 sledgehammer_proof_reconstruct.ML
-rw-r--r-- 2010-06-22 14:28 +0200 3941 sledgehammer_util.ML