src/HOL/IsaMakefile
changeset 28054 2b84d34c5d02
parent 28021 32acf3c6cd12
child 28098 c92850d2d16c
     1.1 --- a/src/HOL/IsaMakefile	Thu Aug 28 22:08:11 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Aug 28 22:09:20 2008 +0200
     1.3 @@ -168,7 +168,10 @@
     1.4    $(SRC)/Tools/atomize_elim.ML \
     1.5    $(SRC)/Tools/code/code_funcgr.ML \
     1.6    $(SRC)/Tools/code/code_name.ML \
     1.7 +  $(SRC)/Tools/code/code_printer.ML \
     1.8    $(SRC)/Tools/code/code_target.ML \
     1.9 +  $(SRC)/Tools/code/code_ml.ML \
    1.10 +  $(SRC)/Tools/code/code_haskell.ML \
    1.11    $(SRC)/Tools/code/code_thingol.ML \
    1.12    $(SRC)/Tools/induct.ML \
    1.13    $(SRC)/Tools/induct_tacs.ML \