Nominal/Term1.thy
changeset 1525 bf321f16d025
parent 1488 44e68ab6841e
child 1544 c6849a634582
equal deleted inserted replaced
1518:212629c90971 1525:bf321f16d025