Nominal/Term7.thy
changeset 1494 923413256cbb
parent 1277 6eacf60ce41d