Nominal-General/Nominal2_Supp.thy
changeset 1856 c8e406f64db0
parent 1778 88ec05a09772
child 1861 226b797868dc