# HG changeset patch
# User huffman
# Date 1231827531 28800
# Node ID 6660f901967376520f7a61eec930dd232cf8a2fe
# Parent  dc97c6188a7a806cba8482d78053eec348b1f41b
add Polynomial.thy to makefile

diff -r dc97c6188a7a -r 6660f9019673 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jan 12 22:16:35 2009 -0800
+++ b/src/HOL/IsaMakefile	Mon Jan 12 22:18:51 2009 -0800
@@ -282,6 +282,7 @@
   Parity.thy \
   Univ_Poly.thy \
   Lubs.thy \
+  Polynomial.thy \
   PReal.thy \
   Rational.thy \
   RComplete.thy \