--- a/src/HOL/IsaMakefile Fri Jun 01 22:09:16 2007 +0200
+++ b/src/HOL/IsaMakefile Fri Jun 01 23:21:40 2007 +0200
@@ -618,7 +618,8 @@
HOL-ex: HOL $(LOG)/HOL-ex.gz
$(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy \
- ex/Abstract_NAT.thy ex/Antiquote.thy ex/BT.thy ex/BinEx.thy \
+ ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy \
+ ex/BT.thy ex/BinEx.thy \
ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy \
ex/Eval_examples.thy ex/Random.thy \
ex/Codegenerator.thy ex/Codegenerator_Rat.thy \