Nominal/Term5n.thy
changeset 1537 0b21101157b1
parent 1474 8a03753e0e02
child 1575 2c37f5a8c747
equal deleted inserted replaced
1534:984ea1299cd7 1537:0b21101157b1