| changeset 60562 | 24af00b010cf |
| parent 60500 | 903bb1495239 |
| child 60570 | 7ed2cde6806d |
--- a/src/HOL/Library/Polynomial.thy Mon Jun 22 23:19:48 2015 +0200 +++ b/src/HOL/Library/Polynomial.thy Tue Jun 23 16:55:28 2015 +0100 @@ -868,8 +868,6 @@ end -instance poly :: (comm_semiring_1_cancel) comm_semiring_1_cancel .. - instance poly :: (comm_ring) comm_ring .. instance poly :: (comm_ring_1) comm_ring_1 ..