--- a/src/HOL/IsaMakefile Wed Mar 12 19:38:13 2008 +0100
+++ b/src/HOL/IsaMakefile Wed Mar 12 19:38:14 2008 +0100
@@ -674,7 +674,7 @@
ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy \
ex/BT.thy ex/BinEx.thy ex/CTL.thy \
ex/Chinese.thy ex/Classical.thy ex/Dense_Linear_Order_Ex.thy \
- ex/Eval_Examples.thy ex/Groebner_Examples.thy ex/Random.thy \
+ ex/Eval_Examples.thy ex/Groebner_Examples.thy ex/Random.thy ex/Quickcheck.thy \
ex/Codegenerator.thy ex/Codegenerator_Pretty.thy \
ex/Commutative_RingEx.thy ex/Efficient_Nat_examples.thy ex/Hex_Bin_Examples.thy \
ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy \