| 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 |