src/HOL/OrderedGroup.thy
changeset 29609 a010aab5bed0
parent 29557 5362cc5ee3a8
child 29668 33ba3faeaa0e