Nominal/Nominal2_Base.thy
changeset 1571 1d70813ae674
parent 1557 fee2389789ad
equal deleted inserted replaced
1570:014ddf0d7271 1571:1d70813ae674