src/HOL/Gfp.thy
changeset 1574 5a63ab90ee8a
parent 1558 9c6ebfab4e05
child 3947 eb707467f8c5