src/HOL/BNF_Least_Fixpoint.thy
changeset 78659 b5f3d1051b13
parent 72125 cf8399df4d76
child 78801 42ae6e0ecfd4