| Sun, 18 Dec 2016 16:13:20 +0100 | wenzelm | more standard notation (like infix); | file | diff | annotate |
| Tue, 01 Nov 2016 01:04:53 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 01 Nov 2016 00:44:24 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Tue, 18 Oct 2016 18:48:53 +0200 | haftmann | suitable logical type class for abs, sgn | file | diff | annotate |
| Mon, 17 Oct 2016 15:23:06 +0200 | Simon Wimmer | Modified transfer principle in HOL/NSA to cause less ho-unficiation | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | more standardized theorem names for facts involving the div and mod identity | file | diff | annotate |
| Mon, 26 Sep 2016 07:56:54 +0200 | haftmann | syntactic type class for operation mod named after mod; | file | diff | annotate |
| Tue, 12 Jul 2016 13:55:35 +0200 | fleury | sharing simp rules between ordered monoids and rings | file | diff | annotate |
| Mon, 29 Feb 2016 22:34:36 +0100 | wenzelm | clarified session; | file | diff | annotate | base |