--- 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