src/HOL/BNF_Wellorder_Relation.thy
changeset 78659 b5f3d1051b13
parent 76950 f881fd264929