Nominal/Term7.thy
changeset 1388 ad38ca4213f4
parent 1277 6eacf60ce41d