9 months ago wenzelm [Thu, 05 Jul 2018 23:08:01 +0200] rev 68590
store immutable result: fewer refs, mutexes, condvars;
src/Pure/Concurrent/lazy.ML

9 months ago wenzelm [Wed, 04 Jul 2018 22:44:24 +0200] rev 68589
more frugal single-assignment according to David Matthews: dispose mutable lock/cond eventually;
src/Pure/Concurrent/single_assignment.ML

9 months ago Lars Hupel <lars.hupel@mytum.de> [Wed, 04 Jul 2018 14:26:27 +0200] rev 68588
merged

9 months ago Lars Hupel <lars.hupel@mytum.de> [Wed, 04 Jul 2018 10:58:28 +0200] rev 68587
avoid clashes in quickcheck [random]
src/HOL/Quickcheck_Random.thy

9 months ago paulson <lp15@cam.ac.uk> [Wed, 04 Jul 2018 11:00:06 +0100] rev 68586
infinite products: the final piece
src/HOL/Analysis/Infinite_Products.thy

9 months ago paulson <lp15@cam.ac.uk> [Tue, 03 Jul 2018 14:46:14 +0100] rev 68585
more on infinite products
src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Infinite_Products.thy

9 months ago paulson [Tue, 03 Jul 2018 10:07:35 +0100] rev 68584
merged
src/HOL/Algebra/Polynomials.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring_Divisibility.thy

9 months ago paulson <lp15@cam.ac.uk> [Tue, 03 Jul 2018 10:07:24 +0100] rev 68583
even more from Paulo
src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Algebra/Polynomials.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring_Divisibility.thy

9 months ago wenzelm [Tue, 03 Jul 2018 11:00:37 +0200] rev 68582
more standard headers;
tuned whitespace;
src/HOL/Algebra/Algebra.thy src/HOL/Algebra/Chinese_Remainder.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Cycles.thy src/HOL/Algebra/Embedded_Algebras.thy src/HOL/Algebra/Exact_Sequence.thy src/HOL/Algebra/Generated_Fields.thy src/HOL/Algebra/Generated_Groups.thy src/HOL/Algebra/Group_Action.thy src/HOL/Algebra/Ideal_Product.thy src/HOL/Algebra/Polynomials.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring.thy src/HOL/Algebra/Ring_Divisibility.thy src/HOL/Algebra/Solvable_Groups.thy src/HOL/Algebra/Subrings.thy src/HOL/Algebra/Sym_Groups.thy

9 months ago wenzelm [Tue, 03 Jul 2018 10:49:44 +0200] rev 68581
eliminated hard TABs, assuming tabsize=8;
src/HOL/Algebra/Module.thy