Nominal/Nominal2_FSet.thy
2010-09-03 Christian Urban cleaned a bit various thy-files in Nominal-General
2010-08-28 Christian Urban slight cleaning
2010-06-29 Christian Urban removed an "eqvt"-warning
2010-05-27 Christian Urban intermediate state
2010-05-25 Cezary Kaliszyk reversing the direction of fresh_star
2010-04-30 Christian Urban generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements)
2010-04-28 Christian Urban use the more general type-class at_base
less more (0) -10 -7 tip