Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. misc tuning and modernization;
  3. misc tuning and modernization;
  4. more standard name;
Changeset 63467:f3781c5fb03f by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 63466:2100fbbdc3f1 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Binomial.thy (diff)
Changeset 63465:d7610beb98bc by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Continuum_Not_Denumerable.thy (diff)
The file was modified src/HOL/Library/Prefix_Order.thy (diff)
The file was modified src/HOL/Library/Preorder.thy (diff)
The file was modified src/HOL/Library/Quadratic_Discriminant.thy (diff)
The file was modified src/HOL/Library/Sublist_Order.thy (diff)
Changeset 63464:9d4dbb7a548a by wenzelm:
more standard name;
The file was addedsrc/HOL/Library/Continuum_Not_Denumerable.thy
The file was modified src/HOL/Hahn_Banach/Bounds.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Probability/Distribution_Functions.thy (diff)
The file was modified src/HOL/Probability/ex/Measure_Not_CCC.thy (diff)
The file was removedsrc/HOL/Library/ContNotDenum.thy