| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | file | diff | annotate |
| Mon, 12 Dec 2016 17:40:06 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |
| Thu, 08 Dec 2016 17:22:51 +0100 | bulwahn | remove typo in bij_swap_compose_bij theorem name; tune proof | file | diff | annotate |
| Tue, 29 Nov 2016 08:32:46 +0100 | blanchet | don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful | file | diff | annotate |
| Sun, 27 Nov 2016 20:25:38 +0100 | wenzelm | merged | file | diff | annotate |
| Sun, 27 Nov 2016 13:19:29 +0100 | wenzelm | NEWS for e6a3c55b929b; | file | diff | annotate |
| Thu, 24 Nov 2016 11:33:55 +0100 | haftmann | clarified NEWS concerning Library/Poly_Deriv | file | diff | annotate |
| Sun, 20 Nov 2016 20:12:42 +0100 | wenzelm | more on "Formal scopes and semantic selection"; | file | diff | annotate |
| Thu, 03 Nov 2016 08:10:56 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 03 Nov 2016 08:10:56 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 01 Nov 2016 01:20:33 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Tue, 25 Oct 2016 12:14:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 25 Oct 2016 11:55:38 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Mon, 24 Oct 2016 22:42:07 +0200 | blanchet | added Nunchaku integration | file | diff | annotate |
| Mon, 24 Oct 2016 13:50:12 +0200 | eberlm | Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory | file | diff | annotate |
| Sat, 22 Oct 2016 12:34:58 +0200 | wenzelm | regular user tool; | file | diff | annotate |
| Thu, 20 Oct 2016 19:39:27 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 18 Oct 2016 16:04:44 +0200 | nipkow | NEWS | file | diff | annotate |
| Wed, 19 Oct 2016 14:43:11 +0200 | wenzelm | merged | file | diff | annotate |
| Wed, 19 Oct 2016 14:42:28 +0200 | wenzelm | added system option "profiling"; | 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 19:55:56 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 17 Oct 2016 15:00:46 +0200 | wenzelm | re-use "threads" for --gcthreads; | file | diff | annotate |
| Sun, 16 Oct 2016 22:43:51 +0200 | wenzelm | isabelle build -N; | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:06 +0200 | haftmann | eliminated irregular aliasses | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | clarified theorem names | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | eliminated irregular aliasses | 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 |
| Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | more standardized names | file | diff | annotate |