Nominal/Term9.thy
changeset 1562 41294e4fc870
parent 1277 6eacf60ce41d