src/HOL/BNF_Least_Fixpoint.thy
changeset 60517 f16e4fb20652
parent 58916 229765cc3414
child 60758 d8d85a8172b5