equal
deleted
inserted
replaced
24 |
24 |
25 <p> |
25 <p> |
26 |
26 |
27 The distribution includes the following examples: |
27 The distribution includes the following examples: |
28 <UL> |
28 <UL> |
29 <li> a verification of Lamport's <quote>increment</quote> example |
29 <li> a verification of Lamport's <em>increment</em> example |
30 (subdirectory inc),<P> |
30 (subdirectory inc),<P> |
31 |
31 |
32 <li> a proof that two buffers in a row implement a single buffer |
32 <li> a proof that two buffers in a row implement a single buffer |
33 (subdirectory buffer), and<P> |
33 (subdirectory buffer), and<P> |
34 |
34 |