9 months ago paulson [Mon, 02 Jul 2018 15:43:22 +0100] rev 68570
merged

9 months ago paulson <lp15@cam.ac.uk> [Mon, 02 Jul 2018 14:41:35 +0100] rev 68569
Lots of new algebra theories by Martin Baillon and Paulo Emílio de Vilhena
src/HOL/Algebra/Algebra.thy src/HOL/Algebra/Chinese_Remainder.thy src/HOL/Algebra/Cycles.thy src/HOL/Algebra/Embedded_Algebras.thy src/HOL/Algebra/Generated_Fields.thy src/HOL/Algebra/Generated_Groups.thy src/HOL/Algebra/Generated_Rings.thy src/HOL/Algebra/Ideal_Product.thy src/HOL/Algebra/Solvable_Groups.thy src/HOL/Algebra/Subrings.thy src/HOL/Algebra/Sym_Groups.thy src/HOL/ROOT

9 months ago wenzelm [Mon, 02 Jul 2018 16:26:11 +0200] rev 68568
more NEWS;
NEWS

9 months ago wenzelm [Mon, 02 Jul 2018 16:25:41 +0200] rev 68567
tuned;
ANNOUNCE

9 months ago wenzelm [Mon, 02 Jul 2018 16:26:58 +0200] rev 68566
more robust: avoid dire effect of ui.tweakoptions on hg.known_files;
src/Pure/General/mercurial.scala

9 months ago blanchet [Mon, 02 Jul 2018 10:17:23 +0200] rev 68565
update Sledgehammer docs w.r.t. Vampire
src/Doc/Sledgehammer/document/root.tex

9 months ago blanchet [Mon, 02 Jul 2018 10:03:11 +0200] rev 68564
added Vampire component
Admin/components/components.sha1 Admin/components/main

9 months ago blanchet [Mon, 02 Jul 2018 10:02:44 +0200] rev 68563
added option for noncommercial Vampire
src/HOL/Tools/ATP/atp_systems.ML src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML src/HOL/Tools/etc/options

9 months ago paulson [Sun, 01 Jul 2018 20:29:23 +0100] rev 68562
merged

9 months ago paulson <lp15@cam.ac.uk> [Sun, 01 Jul 2018 20:28:47 +0100] rev 68561
new lemmas, de-applying, etc.
src/HOL/Algebra/IntRing.thy src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Algebra/Sylow.thy