Nominal/Perm.thy
changeset 1284 212f3ab40cc2
parent 1277 6eacf60ce41d
child 1342 2b98012307f7