1.1 --- a/src/HOL/IsaMakefile	Wed Apr 15 15:34:00 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 15 15:34:54 2009 +0200
     1.3 @@ -89,7 +89,6 @@
     1.4    $(SRC)/Tools/IsaPlanner/rw_tools.ML \
     1.5    $(SRC)/Tools/IsaPlanner/zipper.ML \
     1.6    $(SRC)/Tools/atomize_elim.ML \
     1.7 -  $(SRC)/Tools/code/code_funcgr.ML \
     1.8    $(SRC)/Tools/code/code_haskell.ML \
     1.9    $(SRC)/Tools/code/code_ml.ML \
    1.10    $(SRC)/Tools/code/code_name.ML \