~james/split

ref: 86650c76e96e3766ec12a32d552f12520965f9c2 split/Protocol.thy -rw-r--r-- 4.5 KiB 
feat(protocol): equate fault resolution and retry with atomic stores