Nominal/Abs.thy
changeset 1361 1e811e3424f3
parent 1351 cffc5d78ab7f
child 1403 4a10338c2535