Nominal/Term2.thy
changeset 1496 fd483d8f486b
parent 1288 0203cd5cfd6c