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