Nominal/Abs.thy
changeset 1830 8db45a106569
parent 1807 8a71e90cccd0
child 1841 fcc660ece040