/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-04-16 15:49 +0200 2049 meson_tactic.ML
-rw-r--r-- 2010-04-16 15:49 +0200 36123 metis_tactics.ML
-rw-r--r-- 2010-04-16 15:49 +0200 1249 named_thm_set.ML
-rw-r--r-- 2010-04-16 15:49 +0200 22591 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-04-16 15:49 +0200 20568 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-04-16 15:49 +0200 23372 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-04-16 15:49 +0200 22831 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-04-16 15:49 +0200 12448 sledgehammer_isar.ML
-rw-r--r-- 2010-04-16 15:49 +0200 25597 sledgehammer_proof_reconstruct.ML
-rw-r--r-- 2010-04-16 15:49 +0200 2869 sledgehammer_util.ML