Nominal/Term3.thy
changeset 1444 aca9a6380c3f
parent 1277 6eacf60ce41d