changeset 37442 | 037ee7b712b2 |
parent 37296 | 1fad5b94c0ae |
child 37489 | 44e42d392c6e |
--- a/src/HOL/IsaMakefile Tue Jun 15 14:28:08 2010 +0200 +++ b/src/HOL/IsaMakefile Tue Jun 15 14:28:22 2010 +0200 @@ -112,6 +112,7 @@ $(SRC)/Tools/Code/code_preproc.ML \ $(SRC)/Tools/Code/code_printer.ML \ $(SRC)/Tools/Code/code_scala.ML \ + $(SRC)/Tools/Code/code_simp.ML \ $(SRC)/Tools/Code/code_target.ML \ $(SRC)/Tools/Code/code_thingol.ML \ $(SRC)/Tools/Code_Generator.thy \