/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-04-24 16:05 +0200 2049 meson_tactic.ML
-rw-r--r-- 2010-04-24 16:05 +0200 36384 metis_tactics.ML
-rw-r--r-- 2010-04-24 16:05 +0200 1249 named_thm_set.ML
-rw-r--r-- 2010-04-24 16:05 +0200 22800 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-04-24 16:05 +0200 5161 sledgehammer_fact_minimizer.ML
-rw-r--r-- 2010-04-24 16:05 +0200 20430 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-04-24 16:05 +0200 23233 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-04-24 16:05 +0200 22940 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-04-24 16:05 +0200 12664 sledgehammer_isar.ML
-rw-r--r-- 2010-04-24 16:05 +0200 26178 sledgehammer_proof_reconstruct.ML
-rw-r--r-- 2010-04-24 16:05 +0200 2429 sledgehammer_util.ML