Nominal/ExPS6.thy
changeset 1709 ccd2ab0cebf3
parent 1656 c9d3dda79fe3
equal deleted inserted replaced
1708:62b87efcef29 1709:ccd2ab0cebf3