| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Sun, 02 Nov 2014 17:16:01 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | file | diff | annotate |