Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. fixing a theorem statement, etc.
  2. merged
  3. de-applying and removing junk
Changeset 68671:205749fba102 by paulson _lp15@cam.ac.uk_:
fixing a theorem statement, etc.
The file was modified src/HOL/MacLaurin.thy
Changeset 68670:c51ede74c0b2 by paulson:
merged
Changeset 68669:7ddf297cfcde by paulson _lp15@cam.ac.uk_:
de-applying and removing junk
The file was modified src/HOL/MacLaurin.thy
The file was modified src/HOL/Real.thy
The file was modified src/HOL/Real_Vector_Spaces.thy