Nominal/ExPS6.thy
changeset 1639 a98d03fb9d53
parent 1604 5ab97f43ec24
child 1655 9cec4269b7f9
equal deleted inserted replaced
1638:36798cdbc452 1639:a98d03fb9d53