NEWS
Fri, 10 Mar 2017 13:47:35 +0100 haftmann restored surj as output abbreviation, amending 6af79184bef3
Thu, 02 Mar 2017 21:16:02 +0100 ballarin Knaster-Tarski fixed point theorem and Galois Connections.
Wed, 01 Mar 2017 11:26:19 +0100 wenzelm more uniform platform settings;
Tue, 28 Feb 2017 23:12:52 +0100 wenzelm more detailed platform information;
Tue, 28 Feb 2017 13:51:47 +0000 paulson Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
Mon, 27 Feb 2017 17:17:26 +0000 paulson Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
Mon, 27 Feb 2017 00:00:28 +0100 wenzelm clarified defaults;
Sun, 26 Feb 2017 23:50:19 +0100 wenzelm tuned whitespace;
Sun, 26 Feb 2017 13:22:14 +0100 haftmann re-established AFP entry for FinFuns as library
Fri, 24 Feb 2017 12:24:13 +0100 wenzelm avoid Unicode that conflicts with Isabelle symbol rendering;
Wed, 22 Feb 2017 20:33:53 +0100 haftmann more precise NEWS and CONTRIBUTORS
Wed, 22 Feb 2017 20:24:50 +0100 haftmann basic documentation for computations
Mon, 13 Feb 2017 16:03:53 +0100 fleury renaming multiset simprocs
Sat, 04 Feb 2017 21:15:11 +0100 wenzelm more uniform use of Reconstruct.clean_proof_of;
Tue, 17 Jan 2017 16:11:47 +0100 wenzelm removed some old ASCII syntax;
Sun, 15 Jan 2017 15:51:33 +0100 wenzelm clarified settings;
Sun, 15 Jan 2017 15:48:26 +0100 wenzelm tuned whitespace;
Wed, 11 Jan 2017 16:43:31 +0100 blanchet generalized types in lemmas
Tue, 10 Jan 2017 16:53:05 +0100 wenzelm support "purge" operation on document model;
Mon, 09 Jan 2017 14:40:31 +0000 paulson Jordan Curve Theorem
Mon, 09 Jan 2017 00:08:18 +0100 wenzelm NEWS for VSCode;
Sun, 08 Jan 2017 19:34:44 +0100 wenzelm more documentation;
Wed, 04 Jan 2017 21:28:33 +0100 haftmann tuned NEWS
Wed, 04 Jan 2017 21:28:29 +0100 haftmann reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
Wed, 04 Jan 2017 21:28:29 +0100 haftmann moved euclidean ring to HOL
Thu, 22 Dec 2016 08:43:30 +0100 haftmann proper logical constants
Wed, 21 Dec 2016 21:26:26 +0100 haftmann prefer existing logical constant over abbreviation
Wed, 21 Dec 2016 21:26:26 +0100 haftmann dropped aliasses
Sun, 18 Dec 2016 22:14:53 +0100 wenzelm tuned whitespace;
Sun, 18 Dec 2016 21:58:13 +0100 wenzelm added isabelle jedit -R;
Sat, 17 Dec 2016 15:22:14 +0100 haftmann reoriented congruence rules in non-explosive direction
Mon, 12 Dec 2016 17:40:06 +0100 wenzelm merged
Mon, 12 Dec 2016 11:33:14 +0100 wenzelm proper session HOL-Types_To_Sets;
Thu, 08 Dec 2016 17:22:51 +0100 bulwahn remove typo in bij_swap_compose_bij theorem name; tune proof
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
Sun, 27 Nov 2016 20:25:38 +0100 wenzelm merged
Sun, 27 Nov 2016 13:19:29 +0100 wenzelm NEWS for e6a3c55b929b;
Thu, 24 Nov 2016 11:33:55 +0100 haftmann clarified NEWS concerning Library/Poly_Deriv
Sun, 20 Nov 2016 20:12:42 +0100 wenzelm more on "Formal scopes and semantic selection";
Thu, 03 Nov 2016 08:10:56 +0100 nipkow tuned
Thu, 03 Nov 2016 08:10:56 +0100 nipkow tuned
Tue, 01 Nov 2016 01:20:33 +0100 wenzelm back to post-release mode -- after fork point;
Tue, 25 Oct 2016 12:14:17 +0200 wenzelm tuned;
Tue, 25 Oct 2016 11:55:38 +0200 wenzelm misc tuning for release;
Mon, 24 Oct 2016 22:42:07 +0200 blanchet added Nunchaku integration
Mon, 24 Oct 2016 13:50:12 +0200 eberlm Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
Sat, 22 Oct 2016 12:34:58 +0200 wenzelm regular user tool;
Thu, 20 Oct 2016 19:39:27 +0200 nipkow tuned
Tue, 18 Oct 2016 16:04:44 +0200 nipkow NEWS
Wed, 19 Oct 2016 14:43:11 +0200 wenzelm merged
Wed, 19 Oct 2016 14:42:28 +0200 wenzelm added system option "profiling";
Tue, 18 Oct 2016 18:48:53 +0200 haftmann suitable logical type class for abs, sgn
Mon, 17 Oct 2016 19:55:56 +0200 wenzelm NEWS;
Mon, 17 Oct 2016 15:00:46 +0200 wenzelm re-use "threads" for --gcthreads;
Sun, 16 Oct 2016 22:43:51 +0200 wenzelm isabelle build -N;
Sun, 16 Oct 2016 09:31:06 +0200 haftmann eliminated irregular aliasses
Sun, 16 Oct 2016 09:31:05 +0200 haftmann clarified theorem names
Sun, 16 Oct 2016 09:31:05 +0200 haftmann eliminated irregular aliasses
Sun, 16 Oct 2016 09:31:05 +0200 haftmann more standardized theorem names for facts involving the div and mod identity
Sun, 16 Oct 2016 09:31:04 +0200 haftmann more standardized names
less more (0) -1000 -300 -100 -60 tip