1.1 --- a/src/HOL/IsaMakefile Tue Jul 14 12:18:52 2009 +0200
1.2 +++ b/src/HOL/IsaMakefile Wed Jul 15 06:14:25 2009 +0200
1.3 @@ -886,8 +886,7 @@
1.4 ex/Codegenerator_Pretty_Test.thy ex/Coherent.thy \
1.5 ex/Commutative_RingEx.thy ex/Commutative_Ring_Complete.thy \
1.6 ex/Efficient_Nat_examples.thy \
1.7 - ex/Eval_Examples.thy \
1.8 - ex/Formal_Power_Series_Examples.thy ex/Fundefs.thy \
1.9 + ex/Eval_Examples.thy ex/Fundefs.thy \
1.10 ex/Groebner_Examples.thy ex/Guess.thy ex/HarmonicSeries.thy \
1.11 ex/Hebrew.thy ex/Hex_Bin_Examples.thy ex/Higher_Order_Logic.thy \
1.12 ex/Hilbert_Classical.thy \