--- a/src/HOL/IsaMakefile Thu Jul 23 20:05:20 2009 +0200
+++ b/src/HOL/IsaMakefile Thu Jul 23 21:13:21 2009 +0200
@@ -887,8 +887,7 @@
ex/Codegenerator_Pretty_Test.thy ex/Coherent.thy \
ex/Commutative_RingEx.thy ex/Commutative_Ring_Complete.thy \
ex/Efficient_Nat_examples.thy \
- ex/Eval_Examples.thy \
- ex/Formal_Power_Series_Examples.thy ex/Fundefs.thy \
+ ex/Eval_Examples.thy ex/Fundefs.thy \
ex/Groebner_Examples.thy ex/Guess.thy ex/HarmonicSeries.thy \
ex/Hebrew.thy ex/Hex_Bin_Examples.thy ex/Higher_Order_Logic.thy \
ex/Hilbert_Classical.thy \