| Tue, 26 Apr 2016 22:44:31 +0200 | wenzelm | some uses of 'obtain' with structure statement; | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| 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 |