Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more frugal single-assignment according to David Matthews: dispose mutable lock/cond eventually;
  2. merged
  3. avoid clashes in quickcheck [random]
  4. infinite products: the final piece
Changeset 68589:9258f16d68b4 by wenzelm:
more frugal single-assignment according to David Matthews: dispose mutable lock/cond eventually;
The file was modified src/Pure/Concurrent/single_assignment.ML (diff)
Changeset 68588:1df516bffaa3 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 68587:1148f63304f4 by lars hupel _lars.hupel@mytum.de_:
avoid clashes in quickcheck [random]
The file was modified src/HOL/Quickcheck_Random.thy (diff)
Changeset 68586:006da53a8ac1 by paulson _lp15@cam.ac.uk_:
infinite products: the final piece
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)