src/HOL/BNF_Least_Fixpoint.thy
changeset 59409 b7cfe12acf2e
parent 58916 229765cc3414
child 60758 d8d85a8172b5