Nominal/Nominal2_Base.thy
changeset 1670 ed89a26b7074
parent 1557 fee2389789ad
equal deleted inserted replaced
1669:9911824a5396 1670:ed89a26b7074