Nominal/Perm.thy
changeset 1328 531dcebbf483
parent 1277 6eacf60ce41d
child 1342 2b98012307f7
equal deleted inserted replaced
1327:670701b19e8e 1328:531dcebbf483