src/HOL/OrderedGroup.thy
changeset 26462 dac4e2bce00d
parent 26071 046fe7ddfc4b
child 26480 544cef16045b