5 months ago wenzelm [Sun, 01 Jul 2018 19:51:04 +0200] rev 68560
tuned;
ANNOUNCE

5 months ago wenzelm [Sun, 01 Jul 2018 19:50:33 +0200] rev 68559
merged

5 months ago wenzelm [Sun, 01 Jul 2018 12:38:37 +0200] rev 68558
discontinued pending_shyps: too much complication due to lazy facts;
NEWS src/Doc/Implementation/Logic.thy src/Pure/Isar/attrib.ML src/Pure/global_theory.ML

5 months ago wenzelm [Sun, 01 Jul 2018 12:37:24 +0200] rev 68557
proper error;
src/Pure/Tools/dump.scala

5 months ago paulson [Sun, 01 Jul 2018 16:46:28 +0100] rev 68556
merged

5 months ago paulson <lp15@cam.ac.uk> [Sun, 01 Jul 2018 16:13:25 +0100] rev 68555
a few more lemmas from Paulo and Martin
src/HOL/Algebra/Coset.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Zassenhaus.thy

5 months ago nipkow [Sun, 01 Jul 2018 17:38:08 +0200] rev 68554
merged

5 months ago nipkow [Sun, 01 Jul 2018 10:58:14 +0200] rev 68553
added lemmas
src/HOL/Library/Quadratic_Discriminant.thy

5 months ago paulson <lp15@cam.ac.uk> [Sat, 30 Jun 2018 18:58:13 +0100] rev 68552
credits to Paulo and Martin
src/HOL/Algebra/Module.thy src/HOL/Algebra/Ring.thy

5 months ago paulson <lp15@cam.ac.uk> [Sat, 30 Jun 2018 15:44:04 +0100] rev 68551
More on Algebra by Paulo and Martin
src/HOL/Algebra/Divisibility.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Module.thy src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring.thy src/HOL/Algebra/RingHom.thy