Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
Changeset 65065:3d7ec12f7af7 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 65064:a4abec71279a by paulson _lp15@cam.ac.uk_:
Renamed ii to imaginary_unit in order to free up ii as a variable name.  Also replaced some legacy def commands
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Great_Picard.thy (diff)
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
The file was modified src/HOL/Analysis/Inner_Product.thy (diff)
The file was modified src/HOL/Analysis/Jordan_Curve.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Probability/Characteristic_Functions.thy (diff)
The file was modified src/HOL/Probability/Levy.thy (diff)