2016-07-27 Manuel Eberl <eberlm@in.tum.de> [Wed, 27 Jul 2016 10:44:22 +0200] rev 63552
NEWS: Primes
CONTRIBUTORS NEWS

2016-07-26 traytel [Tue, 26 Jul 2016 14:29:20 +0200] rev 63551
honor sorts in (co)datatype declarations
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_fp_n2m_sugar.ML

2016-07-26 wenzelm [Tue, 26 Jul 2016 10:33:39 +0200] rev 63550
misc tuning and modernization;
src/HOL/Series.thy

2016-07-25 wenzelm [Mon, 25 Jul 2016 21:50:04 +0200] rev 63549
more symbols;
src/HOL/HOLCF/Cfun.thy src/HOL/HOLCF/FOCUS/Fstreams.thy src/HOL/HOLCF/IMP/HoareEx.thy src/HOL/HOLCF/IOA/Abstraction.thy src/HOL/HOLCF/IOA/CompoExecs.thy src/HOL/HOLCF/IOA/CompoScheds.thy src/HOL/HOLCF/IOA/CompoTraces.thy src/HOL/HOLCF/IOA/Compositionality.thy src/HOL/HOLCF/IOA/Deadlock.thy src/HOL/HOLCF/IOA/LiveIOA.thy src/HOL/HOLCF/IOA/RefCorrectness.thy src/HOL/HOLCF/IOA/RefMappings.thy src/HOL/HOLCF/IOA/Seq.thy src/HOL/HOLCF/IOA/Sequence.thy src/HOL/HOLCF/IOA/ShortExecutions.thy src/HOL/HOLCF/IOA/SimCorrectness.thy src/HOL/HOLCF/IOA/TL.thy src/HOL/HOLCF/IOA/TLS.thy src/HOL/HOLCF/IOA/Traces.thy src/HOL/HOLCF/Library/Stream.thy src/HOL/HOLCF/ex/Dagstuhl.thy src/HOL/HOLCF/ex/Dnat.thy src/HOL/HOLCF/ex/Fix2.thy src/HOL/HOLCF/ex/Focus_ex.thy src/HOL/HOLCF/ex/Hoare.thy src/HOL/HOLCF/ex/Loop.thy

2016-07-25 wenzelm [Mon, 25 Jul 2016 14:02:29 +0200] rev 63548
unused (see 1e9e68247ad1);
src/HOL/Limits.thy

2016-07-25 wenzelm [Mon, 25 Jul 2016 11:30:31 +0200] rev 63547
merged
src/HOL/Library/Multiset.thy src/HOL/Number_Theory/Factorial_Ring.thy

2016-07-22 wenzelm [Fri, 22 Jul 2016 23:55:47 +0200] rev 63546
misc tuning and modernization;
src/HOL/Limits.thy

2016-07-22 wenzelm [Fri, 22 Jul 2016 21:43:56 +0200] rev 63545
misc tuning and modernization;
src/HOL/Real_Vector_Spaces.thy

2016-07-22 wenzelm [Fri, 22 Jul 2016 19:04:30 +0200] rev 63544
clarified def vs. ref focus, e.g. for calculation vs. command refs;
src/Tools/jEdit/src/rendering.scala

2016-07-22 wenzelm [Fri, 22 Jul 2016 14:45:32 +0200] rev 63543
entity markup for calculation;
src/Pure/Isar/calculation.ML