src/HOL/IsaMakefile
changeset 31036 64ff53fc0c0c
parent 30980 fe0855471964
child 31048 ac146fc38b51
     1.1 --- a/src/HOL/IsaMakefile	Mon May 04 14:49:50 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon May 04 14:49:51 2009 +0200
     1.3 @@ -92,7 +92,6 @@
     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_name.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 \