Nominal/Term6.thy
changeset 1537 0b21101157b1
parent 1300 22a084c9316b