Nominal/ExLam.thy
changeset 1645 bde8da26093e
parent 1599 8b5a1ad60487