src/HOL/BNF_Greatest_Fixpoint.thy
changeset 71926 bee83c9d3306
parent 69913 ca515cf61651
child 75624 22d1c5f2b9f4