1.1 --- a/src/HOL/IsaMakefile	Fri Apr 24 17:45:16 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 24 17:45:17 2009 +0200
     1.3 @@ -102,6 +102,7 @@
     1.4    $(SRC)/Tools/intuitionistic.ML \
     1.5    $(SRC)/Tools/induct_tacs.ML \
     1.6    $(SRC)/Tools/nbe.ML \
     1.7 +  $(SRC)/Tools/quickcheck.ML \
     1.8    $(SRC)/Tools/project_rule.ML \
     1.9    $(SRC)/Tools/random_word.ML \
    1.10    $(SRC)/Tools/value.ML \