Nominal/Nominal2_FSet.thy
changeset 2180 d8750d1aaed9
parent 2178 e559513143e9
child 2302 c6db12ddb60c
equal deleted inserted replaced
2179:7687f97eca53 2180:d8750d1aaed9