src/HOL/BNF_Constructions_on_Wellorders.thy
changeset 57978 8f4a332500e4
parent 56191 159b0c88b4a4