Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust interpretation of data;
  2. merged
  3. small quantifier fixes
  4. just a bit of streamlining
  5. but not the [cong] rule
  6. tidying up some theorem statements
Changeset 72224:d36c109bc773 by wenzelm:
more robust interpretation of data;
The file was modified src/Pure/ML/ml_statistics.scala (diff)
Changeset 72223:3afe53e8b2ba by paulson:
merged
Changeset 72222:01397b6e5eb0 by paulson _lp15@cam.ac.uk_:
small quantifier fixes
The file was modified src/HOL/Analysis/ex/Approximations.thy (diff)
The file was modified src/HOL/Complex_Analysis/Complex_Singularities.thy (diff)
Changeset 72221:98ef41a82b73 by paulson _lp15@cam.ac.uk_:
just a bit of streamlining
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/ex/HarmonicSeries.thy (diff)
Changeset 72220:bb29e4eb938d by paulson _lp15@cam.ac.uk_:
but not the [cong] rule
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 72219:0f38c96a0a74 by paulson _lp15@cam.ac.uk_:
tidying up some theorem statements
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)