| Sat, 04 Feb 2017 21:15:11 +0100 | wenzelm | more uniform use of Reconstruct.clean_proof_of; | file | diff | annotate |
| Tue, 17 Jan 2017 16:11:47 +0100 | wenzelm | removed some old ASCII syntax; | file | diff | annotate |
| Sun, 15 Jan 2017 15:51:33 +0100 | wenzelm | clarified settings; | file | diff | annotate |
| Sun, 15 Jan 2017 15:48:26 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 11 Jan 2017 16:43:31 +0100 | blanchet | generalized types in lemmas | file | diff | annotate |
| Tue, 10 Jan 2017 16:53:05 +0100 | wenzelm | support "purge" operation on document model; | file | diff | annotate |
| Mon, 09 Jan 2017 14:40:31 +0000 | paulson | Jordan Curve Theorem | file | diff | annotate |
| Mon, 09 Jan 2017 00:08:18 +0100 | wenzelm | NEWS for VSCode; | file | diff | annotate |
| Sun, 08 Jan 2017 19:34:44 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Wed, 04 Jan 2017 21:28:33 +0100 | haftmann | tuned NEWS | file | diff | annotate |
| Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings | file | diff | annotate |
| Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | moved euclidean ring to HOL | file | diff | annotate |
| Thu, 22 Dec 2016 08:43:30 +0100 | haftmann | proper logical constants | file | diff | annotate |
| Wed, 21 Dec 2016 21:26:26 +0100 | haftmann | prefer existing logical constant over abbreviation | file | diff | annotate |
| Wed, 21 Dec 2016 21:26:26 +0100 | haftmann | dropped aliasses | file | diff | annotate |
| Sun, 18 Dec 2016 22:14:53 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sun, 18 Dec 2016 21:58:13 +0100 | wenzelm | added isabelle jedit -R; | file | diff | annotate |
| 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 |