Nominal/ExLam.thy
changeset 1630 b295a928c56b
parent 1599 8b5a1ad60487