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