Mutual Exclustion Algorithm using test&set Revisited

Another style of proof scores is shown, which is supposed to be easier to read and understand.
Therefore this style is appropriate for presenting proofs.
This style is called the showing style.
The style used so far is called the writing style.

- mutex.mod
- invariants.mod
- icases.mod
- proof100.mod
- proof110.mod
- proof120.mod
- proof130.mod
- proof140.mod