# HG changeset patch
# User nipkow
# Date 1233389082 -3600
# Node ID caf1dc04e1167ae04c6f268e75f1a0c303284c1e
# Parent  987ed08d82cdac0d04baf272eb5e498e16cc845f# Parent  22faf21db3df91e5f1bf2b39fadbbb78f832d8c1
merged

diff -r 22faf21db3df -r caf1dc04e116 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat Jan 31 09:04:16 2009 +0100
+++ b/src/HOL/IsaMakefile	Sat Jan 31 09:04:42 2009 +0100
@@ -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/Formal_power_Series_Examples.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	\