17 months ago wenzelm [Sun, 03 Dec 2017 13:22:09 +0100] rev 67119
discontinued old 'def' command;
NEWS src/Doc/Isar_Ref/Proof.thy src/FOL/ex/Locale_Test/Locale_Test1.thy src/Pure/Isar/proof.ML src/Pure/Pure.thy

17 months ago haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67118
more simplification rules
src/HOL/Algebra/IntRing.thy src/HOL/Computational_Algebra/Primes.thy src/HOL/Data_Structures/RBT_Set.thy src/HOL/Decision_Procs/Ferrack.thy src/HOL/Decision_Procs/MIR.thy src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Decision_Procs/mir_tac.ML src/HOL/Divides.thy src/HOL/Euclidean_Division.thy src/HOL/GCD.thy src/HOL/Int.thy src/HOL/Library/Float.thy src/HOL/Number_Theory/Euler_Criterion.thy src/HOL/Number_Theory/Gauss.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy src/HOL/Number_Theory/Totient.thy src/HOL/Tools/Qelim/cooper.ML src/HOL/Word/Word.thy src/HOL/ex/Transfer_Int_Nat.thy

17 months ago haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67117
overhauling of primes
src/HOL/Computational_Algebra/Primes.thy

17 months ago haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67116
cleaned up and tuned
src/HOL/Int.thy src/HOL/Num.thy src/HOL/Tools/int_arith.ML

17 months ago haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67115
generalized more lemmas
src/HOL/Number_Theory/Cong.thy

17 months ago wenzelm [Fri, 01 Dec 2017 20:49:42 +0100] rev 67114
tuned output;
src/Pure/PIDE/document.scala

17 months ago wenzelm [Fri, 01 Dec 2017 20:41:59 +0100] rev 67113
more operations;
src/Pure/PIDE/xml.scala

17 months ago wenzelm [Fri, 01 Dec 2017 20:29:58 +0100] rev 67112
removed inaccessible blobs from Document.Nodes;
src/Pure/PIDE/document.scala

17 months ago wenzelm [Fri, 01 Dec 2017 18:20:15 +0100] rev 67111
more accurate JSON parsing according to http://seriot.ch/parsing_json.php
src/Pure/General/json.scala

17 months ago wenzelm [Fri, 01 Dec 2017 16:58:26 +0100] rev 67110
purge hidden nodes more thoroughly: is_hidden may become true only later;
src/Pure/PIDE/document.scala