Nominal/ExPS3.thy
changeset 1643 953403c5faa0
parent 1604 5ab97f43ec24
child 1656 c9d3dda79fe3
equal deleted inserted replaced
1642:06f44d498cef 1643:953403c5faa0