"README.md" did not exist on "afa8efc2b19c1c7dedc657f7a6ae7fc46b0ea5cb"
two more styles of lock spec
Compare changes
Added two more styles of lock spec with explicit share; I believe they can be proved equivalent to the existing ones, but I don't have the proofs.