src/HOL/OrderedGroup.thy
changeset 15584 3478bb4f93ff
parent 15580 900291ee0af8
child 16417 9bc16273c2d4