Nominal/Term3.thy
changeset 1482 a98c15866300
parent 1277 6eacf60ce41d