NEWS
22 months ago wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;
22 months ago bulwahn 2016-12-08 remove typo in bij_swap_compose_bij theorem name; tune proof
23 months ago blanchet 2016-11-29 don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful
23 months ago wenzelm 2016-11-27 merged
23 months ago wenzelm 2016-11-27 NEWS for e6a3c55b929b;
23 months ago haftmann 2016-11-24 clarified NEWS concerning Library/Poly_Deriv
23 months ago wenzelm 2016-11-20 more on "Formal scopes and semantic selection";
23 months ago nipkow 2016-11-03 tuned
23 months ago nipkow 2016-11-03 tuned
23 months ago wenzelm 2016-11-01 back to post-release mode -- after fork point;
24 months ago wenzelm 2016-10-25 tuned;
24 months ago wenzelm 2016-10-25 misc tuning for release;
24 months ago blanchet 2016-10-24 added Nunchaku integration
24 months ago eberlm 2016-10-24 Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
24 months ago 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
2016-10-16 haftmann 2016-10-16 eliminated irregular aliasses
2016-10-16 haftmann 2016-10-16 more standardized theorem names for facts involving the div and mod identity
2016-10-16 haftmann 2016-10-16 more standardized names
2016-10-10 paulson 2016-10-10 invariance of domain
2016-10-08 haftmann 2016-10-08 dedicated syntax for types with a length
2016-10-08 fleury 2016-10-08 clarifying NEWS file
2016-10-07 fleury 2016-10-07 tuning multisets
2016-10-07 eberlm 2016-10-07 Set_Permutations -> Multiset_Permutations in NEWS
2016-10-07 wenzelm 2016-10-07 moved to proper release (cf. 4a72b37ac4b8); tuned;
2016-10-07 wenzelm 2016-10-07 updated for release;
2016-10-03 haftmann 2016-10-03 option to report results of solve_direct as explicit warnings
2016-10-02 wenzelm 2016-10-02 added isabelle_java cold-start executable;
2016-10-02 wenzelm 2016-10-02 just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
2016-10-01 wenzelm 2016-10-01 options for process policy, notably for multiprocessor machines;
2016-10-01 wenzelm 2016-10-01 clarified lfp/gfp statements and proofs;
2016-10-01 wenzelm 2016-10-01 misc tuning for release;
2016-09-30 paulson 2016-09-30 new material on paths, etc. Also rationalisation
2016-09-29 boehmes 2016-09-29 NEWS: new proof method "argo"
2016-09-26 haftmann 2016-09-26 syntactic type class for operation mod named after mod; simplified assumptions of type class semiring_div
2016-09-26 haftmann 2016-09-26 spelling
2016-09-22 wenzelm 2016-09-22 discontinued raw symbols; discontinued Symbol.source; use initial Symbol.explode;
2016-09-22 wenzelm 2016-09-22 raw control symbols are superseded by Latex.embed_raw;
2016-09-21 wenzelm 2016-09-21 more general mixfix delimiters;
2016-09-20 eberlm 2016-09-20 NEWS: Normalized_Fraction.thy
2016-09-19 kuncar 2016-09-19 resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
2016-09-19 fleury 2016-09-19 # after multiset intersection and union symbol
2016-09-19 fleury 2016-09-19 left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-09-19 wenzelm 2016-09-19 tuned;
2016-09-18 wenzelm 2016-09-18 clarified notation;
2016-09-16 traytel 2016-09-16 NEWS
2016-09-15 nipkow 2016-09-15 renamed listsum -> sum_list, listprod ~> prod_list
2016-09-14 wenzelm 2016-09-14 NEWS;
2016-09-14 wenzelm 2016-09-14 discontinued global etc/abbrevs;
2016-09-12 blanchet 2016-09-12 NEWS
2016-09-09 nipkow 2016-09-09 msetsum -> set_mset, msetprod -> prod_mset