--- a/src/HOL/IsaMakefile Fri Jan 30 13:24:23 2009 +0000
+++ b/src/HOL/IsaMakefile Fri Jan 30 13:24:23 2009 +0000
@@ -800,7 +800,7 @@
ex/Coherent.thy ex/Dense_Linear_Order_Ex.thy ex/Eval_Examples.thy \
ex/Groebner_Examples.thy ex/Random.thy ex/Quickcheck.thy \
ex/Codegenerator.thy ex/Codegenerator_Pretty.thy \
- ex/CodegenSML_Test.thy \
+ ex/CodegenSML_Test.thy ex/Formal_power_Series_Examples.thy \
ex/Commutative_RingEx.thy ex/Efficient_Nat_examples.thy \
ex/Hex_Bin_Examples.thy ex/Commutative_Ring_Complete.thy \
ex/ExecutableContent.thy ex/Fundefs.thy ex/Guess.thy ex/Hebrew.thy \