src/HOL/Decision_Procs/Commutative_Ring.thy
changeset 72797 402afc68f2f9
parent 70019 095dce9892e8
child 74397 e80c4cde6064
equal deleted inserted replaced
72796:d39a32cff5d7 72797:402afc68f2f9