Lfp.thy
changeset 194 b93cc55cb7ab
parent 178 12dd5d2e266b