Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. correction of TeX errors and other oversights
  2. Oops! Change_Of_Vars was not being imported to Analysis!
  3. tidying up including contributions from Paulo Emílio de Vilhena
Changeset 68001:0a2a1b6507c1 by paulson _lp15@cam.ac.uk_:
correction of TeX errors and other oversights
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
Changeset 68000:40b790c5a11d by paulson _lp15@cam.ac.uk_:
Oops! Change_Of_Vars was not being imported to Analysis!
The file was modified src/HOL/Analysis/Analysis.thy (diff)
Changeset 67999:1b05f74f2e5f by paulson _lp15@cam.ac.uk_:
tidying up including contributions from Paulo Emílio de Vilhena
The file was modified NEWS (diff)
The file was modified src/HOL/Algebra/Congruence.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)