changeset 30973 | 304ab57afa6e |
parent 30954 | cf50e67bc1d1 |
child 30980 | fe0855471964 |
--- a/src/HOL/IsaMakefile Fri Apr 24 17:45:16 2009 +0200 +++ b/src/HOL/IsaMakefile Fri Apr 24 17:45:17 2009 +0200 @@ -102,6 +102,7 @@ $(SRC)/Tools/intuitionistic.ML \ $(SRC)/Tools/induct_tacs.ML \ $(SRC)/Tools/nbe.ML \ + $(SRC)/Tools/quickcheck.ML \ $(SRC)/Tools/project_rule.ML \ $(SRC)/Tools/random_word.ML \ $(SRC)/Tools/value.ML \