Nominal/FSet.thy
Mon, 19 Apr 2010 16:19:17 +0200 Cezary Kaliszyk FSet is a semi-lattice
Mon, 19 Apr 2010 15:54:38 +0200 Cezary Kaliszyk Putting FSet in bot typeclass.
Mon, 19 Apr 2010 15:33:19 +0200 Cezary Kaliszyk reorder
less more (0) -10 -3 tip