Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. minor tidying, also s->S and t->T
  3. more on conversions
Changeset 72229:0881bc2c607d by paulson:
merged
Changeset 72228:aa7cb84983e9 by paulson _lp15@cam.ac.uk_:
minor tidying, also s->S and t->T
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Complex_Analysis/Conformal_Mappings.thy (diff)
Changeset 72227:0f3d24dc197f by haftmann:
more on conversions
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Word/Conversions.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)