changeset 37781 | 2fbbf0a48cef |
parent 37779 | 982b0668dcbd |
child 37789 | 93f6dcf9ec02 |
--- a/src/HOL/IsaMakefile Mon Jul 12 21:12:18 2010 +0200 +++ b/src/HOL/IsaMakefile Mon Jul 12 21:38:37 2010 +0200 @@ -129,6 +129,7 @@ $(SRC)/Tools/induct.ML \ $(SRC)/Tools/induct_tacs.ML \ $(SRC)/Tools/intuitionistic.ML \ + $(SRC)/Tools/misc_legacy.ML \ $(SRC)/Tools/nbe.ML \ $(SRC)/Tools/project_rule.ML \ $(SRC)/Tools/quickcheck.ML \