NEWS
2017-04-06 haftmann 2017-04-06 session containing computational algebra
2017-04-04 eberlm 2017-04-04 moved AFP material to Formal_Power_Series; renamed E/L/F in Formal_Power_Series
2017-03-19 wenzelm 2017-03-19 updated to jedit-5.4.0;
2017-03-10 haftmann 2017-03-10 restored surj as output abbreviation, amending 6af79184bef3
2017-03-02 ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.
2017-03-01 wenzelm 2017-03-01 more uniform platform settings;
2017-02-28 wenzelm 2017-02-28 more detailed platform information;
2017-02-28 paulson 2017-02-28 Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
2017-02-27 paulson 2017-02-27 Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
2017-02-27 wenzelm 2017-02-27 clarified defaults;
2017-02-26 wenzelm 2017-02-26 tuned whitespace;
2017-02-26 haftmann 2017-02-26 re-established AFP entry for FinFuns as library
2017-02-24 wenzelm 2017-02-24 avoid Unicode that conflicts with Isabelle symbol rendering;
2017-02-22 haftmann 2017-02-22 more precise NEWS and CONTRIBUTORS
2017-02-22 haftmann 2017-02-22 basic documentation for computations
2017-02-13 fleury 2017-02-13 renaming multiset simprocs
2017-02-04 wenzelm 2017-02-04 more uniform use of Reconstruct.clean_proof_of;
2017-01-17 wenzelm 2017-01-17 removed some old ASCII syntax;
2017-01-15 wenzelm 2017-01-15 clarified settings;
2017-01-15 wenzelm 2017-01-15 tuned whitespace;
2017-01-11 blanchet 2017-01-11 generalized types in lemmas
2017-01-10 wenzelm 2017-01-10 support "purge" operation on document model;
2017-01-09 paulson 2017-01-09 Jordan Curve Theorem
2017-01-09 wenzelm 2017-01-09 NEWS for VSCode;
2017-01-08 wenzelm 2017-01-08 more documentation;
2017-01-04 haftmann 2017-01-04 tuned NEWS
2017-01-04 haftmann 2017-01-04 reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
2017-01-04 haftmann 2017-01-04 moved euclidean ring to HOL
2016-12-22 haftmann 2016-12-22 proper logical constants
2016-12-21 haftmann 2016-12-21 prefer existing logical constant over abbreviation
2016-12-21 haftmann 2016-12-21 dropped aliasses
2016-12-18 wenzelm 2016-12-18 tuned whitespace;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
2016-12-12 wenzelm 2016-12-12 merged
2016-12-12 wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;
2016-12-08 bulwahn 2016-12-08 remove typo in bij_swap_compose_bij theorem name; tune proof
2016-11-29 blanchet 2016-11-29 don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful
2016-11-27 wenzelm 2016-11-27 merged
2016-11-27 wenzelm 2016-11-27 NEWS for e6a3c55b929b;
2016-11-24 haftmann 2016-11-24 clarified NEWS concerning Library/Poly_Deriv
2016-11-20 wenzelm 2016-11-20 more on "Formal scopes and semantic selection";
2016-11-03 nipkow 2016-11-03 tuned
2016-11-03 nipkow 2016-11-03 tuned
2016-11-01 wenzelm 2016-11-01 back to post-release mode -- after fork point;
2016-10-25 wenzelm 2016-10-25 tuned;
2016-10-25 wenzelm 2016-10-25 misc tuning for release;
2016-10-24 blanchet 2016-10-24 added Nunchaku integration
2016-10-24 eberlm 2016-10-24 Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
2016-10-22 wenzelm 2016-10-22 regular user tool;
2016-10-20 nipkow 2016-10-20 tuned
2016-10-18 nipkow 2016-10-18 NEWS
2016-10-19 wenzelm 2016-10-19 merged
2016-10-19 wenzelm 2016-10-19 added system option "profiling";
2016-10-18 haftmann 2016-10-18 suitable logical type class for abs, sgn
2016-10-17 wenzelm 2016-10-17 NEWS; tuned comment;
2016-10-17 wenzelm 2016-10-17 re-use "threads" for --gcthreads;
2016-10-16 wenzelm 2016-10-16 isabelle build -N;
2016-10-16 haftmann 2016-10-16 eliminated irregular aliasses
2016-10-16 haftmann 2016-10-16 clarified theorem names