Nominal/FSet.thy
2010-04-21 Christian Urban merged
2010-04-21 Christian Urban removed a sorry
2010-04-21 Cezary Kaliszyk Reorder FSet
2010-04-21 Cezary Kaliszyk lattice properties.
2010-04-20 Cezary Kaliszyk fsets are distributive lattices.
2010-04-19 Cezary Kaliszyk FSet is a semi-lattice
2010-04-19 Cezary Kaliszyk Putting FSet in bot typeclass.
2010-04-19 Cezary Kaliszyk reorder
less more (0) -30 -10 -8 tip