src/HOL/IsaMakefile
changeset 32402 5731300da417
parent 32389 cb3c5189ea85
child 32479 521cc9bf2958
     1.1 --- a/src/HOL/IsaMakefile	Wed Aug 26 10:48:45 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Aug 26 11:40:28 2009 +0200
     1.3 @@ -108,6 +108,7 @@
     1.4    $(SRC)/Tools/random_word.ML \
     1.5    $(SRC)/Tools/value.ML \
     1.6    $(SRC)/Tools/Code_Generator.thy \
     1.7 +  $(SRC)/Tools/more_conv.ML \
     1.8    HOL.thy \
     1.9    Tools/hologic.ML \
    1.10    Tools/recfun_codegen.ML \