/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-03-19 13:02 +0100 2049 meson_tactic.ML
-rw-r--r-- 2010-03-19 13:02 +0100 36044 metis_tactics.ML
-rw-r--r-- 2010-03-19 13:02 +0100 23514 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-03-19 13:02 +0100 20423 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-03-19 13:02 +0100 21426 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-03-19 13:02 +0100 21202 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-03-19 13:02 +0100 25120 sledgehammer_proof_reconstruct.ML