20 months ago wenzelm [Sat, 22 Apr 2017 22:01:35 +0200] rev 65552
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
NEWS src/Doc/Corec/Corec.thy src/HOL/Binomial.thy src/HOL/Codegenerator_Test/Code_Test_GHC.thy src/HOL/Codegenerator_Test/Code_Test_OCaml.thy src/HOL/Codegenerator_Test/Code_Test_Scala.thy src/HOL/Computational_Algebra/Factorial_Ring.thy src/HOL/GCD.thy src/HOL/HOLCF/Universal.thy src/HOL/Import/Import_Setup.thy src/HOL/Library/Code_Target_Int.thy src/HOL/Library/Permutations.thy src/HOL/Library/Stirling.thy src/HOL/Main.thy src/HOL/NthRoot.thy src/HOL/Pre_Main.thy src/HOL/ROOT src/HOL/Rat.thy src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy src/HOL/Transcendental.thy src/HOL/ex/LocaleTest2.thy src/HOL/ex/Transfer_Int_Nat.thy

20 months ago wenzelm [Sat, 22 Apr 2017 12:52:55 +0200] rev 65551
merged
src/HOL/ex/document/root.bib src/HOL/ex/document/root.tex

20 months ago wenzelm [Sat, 22 Apr 2017 12:52:16 +0200] rev 65550
clarified parent session images, to avoid duplicate loading of theories;
src/HOL/ROOT

20 months ago wenzelm [Fri, 21 Apr 2017 21:41:32 +0200] rev 65549
tuned;
src/HOL/ROOT

20 months ago wenzelm [Fri, 21 Apr 2017 21:36:49 +0200] rev 65548
removed pointless document;
src/HOL/ROOT src/HOL/ex/document/root.bib src/HOL/ex/document/root.tex

20 months ago blanchet [Fri, 21 Apr 2017 21:37:01 +0200] rev 65547
moved lemmas from AFP to Isabelle
src/HOL/Library/Multiset.thy

20 months ago blanchet [Fri, 21 Apr 2017 21:30:48 +0200] rev 65546
moved lemmas from AFP to Isabelle
src/HOL/Library/Multiset_Order.thy

20 months ago blanchet [Fri, 21 Apr 2017 21:06:02 +0200] rev 65545
two new induction principles on multisets
src/HOL/Library/Multiset.thy

20 months ago wenzelm [Fri, 21 Apr 2017 20:36:20 +0200] rev 65544
merged
NEWS src/HOL/ROOT

20 months ago wenzelm [Fri, 21 Apr 2017 20:07:51 +0200] rev 65543
clarified session imports;
src/HOL/ROOT