Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. reorient -> split; documented split
  3. merged
  4. Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
  5. merged
  6. resolution of name clashes in Algebra
Changeset 68404:05605481935d by nipkow:
merged
Changeset 68403:223172b97d0b by nipkow:
reorient -> split; documented split
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/FPS_Convergence.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Interval_Integral.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Regularity.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/Pure/raw_simplifier.ML (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 68402:76edba1c428c by wenzelm:
merged
Changeset 68401:cd53ad6e7d96 by wenzelm:
Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
The file was modified .hgtags (diff)
Changeset 68400:cada19e0c6c7 by paulson:
merged
Changeset 68399:0b71d08528f0 by paulson _lp15@cam.ac.uk_:
resolution of name clashes in Algebra
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/IntRing.thy (diff)
The file was modified src/HOL/Algebra/More_Group.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
The file was modified src/HOL/Algebra/Sylow.thy (diff)