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;
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