Nominal/ExLam.thy
changeset 1703 ac2d0d4ea497
parent 1599 8b5a1ad60487