Tue, 04 May 2010 11:00:16 +0200 | bulwahn | added function ffilter and some lemmas from Finite_Set to the FSet theory | file | diff | annotate |
Thu, 29 Apr 2010 09:06:35 +0200 | Cezary Kaliszyk | Tuning the quotient examples | file | diff | annotate |
Wed, 28 Apr 2010 13:29:40 +0200 | Cezary Kaliszyk | Tuned FSet | file | diff | annotate |
Mon, 26 Apr 2010 15:14:14 +0200 | Cezary Kaliszyk | add bounded_lattice_bot and bounded_lattice_top type classes | file | diff | annotate |
Fri, 23 Apr 2010 10:00:53 +0200 | Cezary Kaliszyk | Finite set theory | file | diff | annotate |