| Tue, 05 Nov 2013 09:44:58 +0100 | hoelzl | use bdd_above and bdd_below for conditionally complete lattices | file | diff | annotate |
| Tue, 01 Oct 2013 17:06:35 +0200 | traytel | base the fset bnf on the new FSet theory | file | diff | annotate |
| Sat, 28 Sep 2013 14:41:46 +0200 | wenzelm | proper document markup; | file | diff | annotate |
| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | tuned names | file | diff | annotate |
| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | fold and lemmas about cardinality | file | diff | annotate |
| Fri, 27 Sep 2013 14:43:26 +0200 | kuncar | new theory of finite sets as a subtype | file | diff | annotate |