Nominal/Term8.thy
changeset 1397 6e2dfe52b271
parent 1277 6eacf60ce41d