Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#1722
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
reorient -> split; documented split
merged
Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
merged
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)