src/HOL/Decision_Procs/Commutative_Ring.thy
changeset 37819 000049335247
parent 33356 9157d0f9f00e
child 40077 c8a9eaaa2f59