Nominal/Abs.thy
changeset 1278 8814494fe4da
parent 1259 db158e995bfc
child 1300 22a084c9316b
child 1306 e965524c3301
equal deleted inserted replaced
1277:6eacf60ce41d 1278:8814494fe4da