![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- ConcurrentIMP, ConcurrentGC: address more of Makarius's comments from 2015-05.
| The file was modified | thys/ConcurrentGC/Handshakes.thy |
| The file was modified | thys/ConcurrentGC/MarkObject.thy |
| The file was modified | thys/ConcurrentGC/Model.thy |
| The file was modified | thys/ConcurrentGC/Proofs.thy |
| The file was modified | thys/ConcurrentGC/Proofs_basis.thy |
| The file was modified | thys/ConcurrentGC/StrongTricolour.thy |
| The file was modified | thys/ConcurrentGC/TSO.thy |
| The file was modified | thys/ConcurrentGC/Tactics.thy |
| The file was modified | thys/ConcurrentIMP/CIMP.thy |