src/HOL/OrderedGroup.ML
changeset 19284 4c86109423d5
parent 19233 77ca20b0ed77
child 19330 eaf569aa8fd4