/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-06-02 17:19 +0200 2049 meson_tactic.ML
-rw-r--r-- 2010-06-02 17:19 +0200 36695 metis_tactics.ML
-rw-r--r-- 2010-06-02 17:19 +0200 22790 sledgehammer_fact_filter.ML
-rw-r--r-- 2010-06-02 17:19 +0200 5256 sledgehammer_fact_minimizer.ML
-rw-r--r-- 2010-06-02 17:19 +0200 20806 sledgehammer_fact_preprocessor.ML
-rw-r--r-- 2010-06-02 17:19 +0200 23809 sledgehammer_fol_clause.ML
-rw-r--r-- 2010-06-02 17:19 +0200 23655 sledgehammer_hol_clause.ML
-rw-r--r-- 2010-06-02 17:19 +0200 13893 sledgehammer_isar.ML
-rw-r--r-- 2010-06-02 17:19 +0200 41973 sledgehammer_proof_reconstruct.ML
-rw-r--r-- 2010-06-02 17:19 +0200 4527 sledgehammer_util.ML