Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
  2. merged
  3. clarified parent session images, to avoid duplicate loading of theories;
  4. tuned;
  5. removed pointless document;
Changeset 65552:f533820e7248 by wenzelm:
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
The file was addedsrc/HOL/Pre_Main.thy
The file was modified NEWS (diff)
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_GHC.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_OCaml.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_Scala.thy (diff)
The file was modified src/HOL/Computational_Algebra/Factorial_Ring.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/HOLCF/Universal.thy (diff)
The file was modified src/HOL/Import/Import_Setup.thy (diff)
The file was modified src/HOL/Library/Code_Target_Int.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/Library/Stirling.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Rat.thy (diff)
The file was modified src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy (diff)
The file was modified src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
The file was modified src/HOL/ex/LocaleTest2.thy (diff)
The file was modified src/HOL/ex/Transfer_Int_Nat.thy (diff)
The file was removedsrc/HOL/Main.thy
Changeset 65551:d164c4fc0d2c by wenzelm:
merged
Changeset 65550:e957b1f00449 by wenzelm:
clarified parent session images, to avoid duplicate loading of theories;
The file was modified src/HOL/ROOT (diff)
Changeset 65549:263f2a046308 by wenzelm:
tuned;
The file was modified src/HOL/ROOT (diff)
Changeset 65548:b7caa2b8bdbf by wenzelm:
removed pointless document;
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/document/root.bib
The file was removedsrc/HOL/ex/document/root.tex