Nominal/Term2.thy
changeset 1397 6e2dfe52b271
parent 1288 0203cd5cfd6c
equal deleted inserted replaced
1396:08294f4d6c08 1397:6e2dfe52b271