/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
-rw-r--r-- 2010-09-01 23:10 +0200 9964 clausifier.ML
-rw-r--r-- 2010-09-01 23:10 +0200 798 meson_tactic.ML
-rw-r--r-- 2010-09-01 23:10 +0200 20086 metis_clauses.ML
-rw-r--r-- 2010-09-01 23:10 +0200 39866 metis_tactics.ML
-rw-r--r-- 2010-09-01 23:10 +0200 16901 sledgehammer.ML
-rw-r--r-- 2010-09-01 23:10 +0200 34355 sledgehammer_filter.ML
-rw-r--r-- 2010-09-01 23:10 +0200 11257 sledgehammer_isar.ML
-rw-r--r-- 2010-09-01 23:10 +0200 6351 sledgehammer_minimize.ML
-rw-r--r-- 2010-09-01 23:10 +0200 43591 sledgehammer_reconstruct.ML
-rw-r--r-- 2010-09-01 23:10 +0200 21747 sledgehammer_translate.ML
-rw-r--r-- 2010-09-01 23:10 +0200 6429 sledgehammer_util.ML