src/HOL/Library/Univ_Poly.thy
changeset 30738 0842e906300c
parent 30488 5c4c3a9e9102
child 31021 53642251a04f
     1.1 --- a/src/HOL/Library/Univ_Poly.thy	Fri Mar 27 10:05:08 2009 +0100
     1.2 +++ b/src/HOL/Library/Univ_Poly.thy	Fri Mar 27 10:05:11 2009 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Univariate Polynomials *}
     1.5  
     1.6  theory Univ_Poly
     1.7 -imports Plain List
     1.8 +imports Main
     1.9  begin
    1.10  
    1.11  text{* Application of polynomial as a function. *}