Nominal-General/Nominal2_Base.thy
changeset 1854 8442d81496d5
parent 1833 2050b5723c04
child 1879 869d1183e082