src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
changeset 35046 1266f04f42ec
parent 34915 7894c7dab132
child 35054 a5db9779b026
     1.1 --- a/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy	Mon Feb 08 17:12:22 2010 +0100
     1.2 +++ b/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy	Mon Feb 08 17:12:24 2010 +0100
     1.3 @@ -2,14 +2,13 @@
     1.4      Author:     Amine Chaieb
     1.5  *)
     1.6  
     1.7 -header {* Implementation and verification of mutivariate polynomials Library *}
     1.8 -
     1.9 +header {* Implementation and verification of multivariate polynomials *}
    1.10  
    1.11  theory Reflected_Multivariate_Polynomial
    1.12 -imports Parity Abstract_Rat Efficient_Nat List Polynomial_List
    1.13 +imports Complex_Main Abstract_Rat Polynomial_List
    1.14  begin
    1.15  
    1.16 -  (* Impelementation *)
    1.17 +  (* Implementation *)
    1.18  
    1.19  subsection{* Datatype of polynomial expressions *} 
    1.20