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