Nominal/ExLam.thy
changeset 1613 98b53cd05deb
parent 1599 8b5a1ad60487