src/HOL/IsaMakefile
changeset 31126 d8a6122affd7
parent 31117 527ba4a37843
parent 31125 80218ee73167
child 31129 d2cead76fca2
     1.1 --- a/src/HOL/IsaMakefile	Tue May 12 17:32:50 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue May 12 20:07:05 2009 +0200
     1.3 @@ -92,10 +92,10 @@
     1.4    $(SRC)/Tools/auto_solve.ML \
     1.5    $(SRC)/Tools/code/code_haskell.ML \
     1.6    $(SRC)/Tools/code/code_ml.ML \
     1.7 +  $(SRC)/Tools/code/code_preproc.ML \
     1.8    $(SRC)/Tools/code/code_printer.ML \
     1.9    $(SRC)/Tools/code/code_target.ML \
    1.10    $(SRC)/Tools/code/code_thingol.ML \
    1.11 -  $(SRC)/Tools/code/code_wellsorted.ML \
    1.12    $(SRC)/Tools/coherent.ML \
    1.13    $(SRC)/Tools/eqsubst.ML \
    1.14    $(SRC)/Tools/induct.ML \