Nominal/Nominal2_FSet.thy
2010-03-19 Cezary Kaliszyk The nominal infrastructure for fset. 'fs' missing, but not needed so far.
less more (0) tip