diff -r 6b1ccda8bf19 -r 391dcbd7e4dd src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Feb 18 19:51:39 2009 -0800
+++ b/src/HOL/IsaMakefile	Wed Feb 18 20:14:45 2009 -0800
@@ -284,7 +284,6 @@
   GCD.thy \
   Parity.thy \
   Lubs.thy \
-  Polynomial.thy \
   PReal.thy \
   Rational.thy \
   RComplete.thy \
@@ -337,6 +336,7 @@
   Library/RBT.thy	Library/Univ_Poly.thy	\
   Library/Random.thy	Library/Quickcheck.thy	\
   Library/Poly_Deriv.thy \
+  Library/Polynomial.thy \
   Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \
   Library/reify_data.ML Library/reflection.ML
 	@cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library