src/HOL/IsaMakefile
changeset 29105 8f38bf68d42e
parent 29026 5fbaa05f637f
child 29111 d2b60c49a713
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 15 09:58:44 2008 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 15 09:58:45 2008 +0100
     1.3 @@ -179,6 +179,7 @@
     1.4    $(SRC)/Tools/code/code_thingol.ML \
     1.5    $(SRC)/Tools/induct.ML \
     1.6    $(SRC)/Tools/induct_tacs.ML \
     1.7 +  $(SRC)/Tools/value.ML \
     1.8    $(SRC)/Tools/nbe.ML \
     1.9    $(SRC)/Tools/random_word.ML \
    1.10    $(SRC)/Tools/rat.ML