Nominal/Nominal2_FSet.thy
changeset 2068 79b733010bc5
parent 2004 b96e8cf86891
child 2178 e559513143e9
equal deleted inserted replaced
2067:ace7775cbd04 2068:79b733010bc5