add Polynomial.thy to makefile
authorhuffman
Mon Jan 12 22:18:51 2009 -0800 (2009-01-12)
changeset 294636660f9019673
parent 29462 dc97c6188a7a
child 29464 c0d225a7f6ff
add Polynomial.thy to makefile
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Jan 12 22:16:35 2009 -0800
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 12 22:18:51 2009 -0800
     1.3 @@ -282,6 +282,7 @@
     1.4    Parity.thy \
     1.5    Univ_Poly.thy \
     1.6    Lubs.thy \
     1.7 +  Polynomial.thy \
     1.8    PReal.thy \
     1.9    Rational.thy \
    1.10    RComplete.thy \