--- a/src/HOL/IsaMakefile Wed Dec 27 19:09:55 2006 +0100
+++ b/src/HOL/IsaMakefile Wed Dec 27 19:09:56 2006 +0100
@@ -617,7 +617,8 @@
ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy ex/CodeCollections.thy \
ex/CodeEmbed.thy ex/CodeRandom.thy ex/CodeRevappl.thy \
ex/Codegenerator.thy ex/Commutative_RingEx.thy ex/Hex_Bin_Examples.thy \
- ex/Commutative_Ring_Complete.thy ex/Guess.thy ex/Hebrew.thy \
+ ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy \
+ ex/Guess.thy ex/Hebrew.thy \
ex/Higher_Order_Logic.thy ex/Hilbert_Classical.thy ex/InSort.thy \
ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy \
ex/Intuitionistic.thy ex/Lagrange.thy ex/Locales.thy ex/MT.ML \