Nominal-General/Nominal2_Supp.thy
changeset 1893 464dd13efff6
parent 1879 869d1183e082
child 1918 e2e963f4e90d
equal deleted inserted replaced
1892:4df853f5879f 1893:464dd13efff6