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