src/HOL/Gfp.thy
changeset 7584 5be4bb8e4e3f
parent 3947 eb707467f8c5
child 8882 9df44a4f1bf7