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