src/HOL/IsaMakefile
changeset 34028 1e6206763036
parent 34020 2573c794034c
child 34067 a03f3f9874f6
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 07 14:54:28 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 07 16:27:48 2009 +0100
     1.3 @@ -103,6 +103,7 @@
     1.4    $(SRC)/Provers/hypsubst.ML \
     1.5    $(SRC)/Provers/quantifier1.ML \
     1.6    $(SRC)/Provers/splitter.ML \
     1.7 +  $(SRC)/Tools/Code/code_eval.ML \
     1.8    $(SRC)/Tools/Code/code_haskell.ML \
     1.9    $(SRC)/Tools/Code/code_ml.ML \
    1.10    $(SRC)/Tools/Code/code_preproc.ML \