Nominal-General/Nominal2_Base.thy
changeset 1886 b8cf69f0fe2f
parent 1879 869d1183e082
child 1930 f189cf2c0987