Nominal/Abs.thy
changeset 2320 d835a2771608
parent 2313 25d2cdf7d7e4
child 2324 9038c9549073