src/HOLCF/Fix.thy
changeset 20192 956cd30ef3be
parent 18095 4328356ab7e6
child 25131 2c8caac48ade