Nominal/ExLam.thy
changeset 1741 0c01dda0acd5
parent 1599 8b5a1ad60487