src/HOL/HOLCF/Adm.thy
changeset 57978 8f4a332500e4
parent 41959 b460124855b8
child 58880 0baae4311a9f