| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 24 Sep 2014 19:11:21 +0200 | haftmann | added lemmas | file | diff | annotate |
| Sat, 06 Sep 2014 20:12:36 +0200 | haftmann | theory about sum and product on function bodies | file | diff | annotate |