/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-03-27 02:10 +0100 2049 meson_tactic.ML
-rw-r--r-- 2010-03-27 02:10 +0100 36044 metis_tactics.ML
-rw-r--r-- 2010-03-27 02:10 +0100 24415 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-03-27 02:10 +0100 20576 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-03-27 02:10 +0100 21426 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-03-27 02:10 +0100 21263 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-03-27 02:10 +0100 11256 sledgehammer_isar.ML
-rw-r--r-- 2010-03-27 02:10 +0100 25493 sledgehammer_proof_reconstruct.ML
-rw-r--r-- 2010-03-27 02:10 +0100 1711 sledgehammer_util.ML