| Thu, 03 Mar 2016 08:33:55 +0100 | haftmann | constructive formulation of factorization | file | diff | annotate |
| Thu, 18 Feb 2016 17:53:09 +0100 | haftmann | more theorems | file | diff | annotate |
| Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | dropped various legacy fact bindings | file | diff | annotate |
| Mon, 27 Jul 2015 22:44:02 +0200 | haftmann | formal class for factorial (semi)rings | file | diff | annotate |