changeset 35865 | 2f8fb5242799 |
parent 35833 | 7b7ae5aa396d |
child 35866 | 513074557e06 |
1.1 --- a/src/HOL/IsaMakefile Fri Mar 19 06:14:37 2010 +0100 1.2 +++ b/src/HOL/IsaMakefile Fri Mar 19 13:02:18 2010 +0100 1.3 @@ -314,6 +314,7 @@ 1.4 Tools/Quotient/quotient_term.ML \ 1.5 Tools/Quotient/quotient_typ.ML \ 1.6 Tools/recdef.ML \ 1.7 + Tools/Sledgehammer/meson_tactic.ML \ 1.8 Tools/Sledgehammer/metis_tactics.ML \ 1.9 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ 1.10 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \