src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
changeset 62390 842917225d56
parent 61586 5197a2ecb658
child 67123 3fe40ff1b921
     1.1 --- a/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy	Tue Feb 23 15:37:18 2016 +0100
     1.2 +++ b/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy	Tue Feb 23 16:25:08 2016 +0100
     1.3 @@ -2127,4 +2127,4 @@
     1.4  lemma swap_isweanpoly: "isweaknpoly p \<Longrightarrow> isweaknpoly (swap n m p)"
     1.5    by (induct p) auto
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end