Nominal/Term8.thy
changeset 1339 5256f256edd8
parent 1277 6eacf60ce41d