Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tagged a theory for the Analysis manual
  2. more
  3. too many clashes with "root" on reals
  4. added and renamed functions
  5. added an example
Changeset 69221:21ee588bac7d by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
tagged a theory for the Analysis manual
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
Changeset 69220:c6b15fc78f78 by blanchet:
more
The file was modified src/HOL/ex/veriT_Preprocessing.thy (diff)
Changeset 69219:d4cec24a1d87 by nipkow:
too many clashes with "root" on reals
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/Probability/Tree_Space.thy (diff)
Changeset 69218:59aefb3b9e95 by nipkow:
added and renamed functions
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/Probability/Tree_Space.thy (diff)
Changeset 69217:a8c707352ccc by blanchet:
added an example
The file was modified src/HOL/ex/veriT_Preprocessing.thy (diff)