src/HOL/BNF_Least_Fixpoint.thy
changeset 58410 6d46ad54a2ab
parent 58377 c6f93b8d2d8e
child 58444 ed95293f14b6