Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned structure
  2. lead_coeff is more appropriate as abbreviation
  3. more lemmas; tuned headings
  4. covering space lift lemmas
Changeset 64795:8e7db8df16a0 by haftmann:
tuned structure
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
Changeset 64794:6f7391f28197 by haftmann:
lead_coeff is more appropriate as abbreviation
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
Changeset 64793:3df00fb1ce0b by haftmann:
more lemmas;<br>tuned headings
The file was modified src/HOL/Library/Polynomial.thy (diff)
Changeset 64792:3074080f4f12 by paulson _lp15@cam.ac.uk_:
covering space lift lemmas
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)