Nominal/Term2.thy
changeset 1583 ed54632fab4a
parent 1288 0203cd5cfd6c