src/HOL/Library/Polynomial.thy
changeset 30738 0842e906300c
parent 30273 ecd6f0ca62ea
child 30930 11010e5f18f0
     1.1 --- a/src/HOL/Library/Polynomial.thy	Fri Mar 27 10:05:08 2009 +0100
     1.2 +++ b/src/HOL/Library/Polynomial.thy	Fri Mar 27 10:05:11 2009 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* Univariate Polynomials *}
     1.5  
     1.6  theory Polynomial
     1.7 -imports Plain SetInterval Main
     1.8 +imports Main
     1.9  begin
    1.10  
    1.11  subsection {* Definition of type @{text poly} *}