17 months ago nipkow [Sat, 06 Jan 2018 15:08:42 +0100] rev 67346
tuned op
src/HOL/Nitpick_Examples/Manual_Nits.thy

17 months ago nipkow [Sat, 06 Jan 2018 13:05:25 +0100] rev 67345
tuned op's
src/HOL/Number_Theory/Pocklington.thy

17 months ago nipkow [Sat, 06 Jan 2018 10:08:11 +0100] rev 67344
tuned op
src/HOL/Algebra/IntRing.thy

17 months ago nipkow [Sat, 06 Jan 2018 09:39:57 +0100] rev 67343
tuned op
src/HOL/Algebra/Divisibility.thy

17 months ago nipkow [Fri, 05 Jan 2018 19:32:56 +0100] rev 67342
tuned op's
src/HOL/Algebra/Group.thy

17 months ago nipkow [Fri, 05 Jan 2018 18:41:42 +0100] rev 67341
Renamed (^) to [^] in preparation of the move from "op X" to (X)
NEWS src/HOL/Algebra/FiniteProduct.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/More_Finite_Product.thy src/HOL/Algebra/More_Group.thy src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Algebra/Ring.thy src/HOL/Algebra/UnivPoly.thy src/HOL/Decision_Procs/Algebra_Aux.thy src/HOL/Decision_Procs/Commutative_Ring.thy src/HOL/Decision_Procs/Reflective_Field.thy src/HOL/Decision_Procs/ex/Commutative_Ring_Ex.thy src/HOL/Number_Theory/Prime_Powers.thy src/HOL/Number_Theory/Residues.thy src/HOL/Quotient_Examples/Int_Pow.thy

17 months ago nipkow [Fri, 05 Jan 2018 15:24:57 +0100] rev 67340
tuned op
src/HOL/Algebra/Complete_Lattice.thy

17 months ago hoelzl [Thu, 04 Jan 2018 18:18:57 +0100] rev 67339
HOL-Analysis: add set_integrable_restrict_space
src/HOL/Analysis/Set_Integral.thy

17 months ago haftmann [Wed, 03 Jan 2018 23:18:46 +0100] rev 67338
more correct parentheses
src/Tools/Code/code_runtime.ML

17 months ago wenzelm [Wed, 03 Jan 2018 22:29:31 +0100] rev 67337
more tight HTML output: avoid extra lines within <pre>;
src/Pure/Thy/html.scala src/Pure/Thy/present.scala src/Tools/VSCode/src/state_panel.scala