src/HOL/OrderedGroup.ML
changeset 18851 9502ce541f01
parent 16568 e02fe7ae212b
child 18925 2e3d508ba8dc