changeset 58889 | 5b7a9633cfa8 |
parent 46912 | e0cd5c4df8e6 |
child 59807 | 22bc39064290 |
58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
---|---|
6 |
6 |
7 From Chandy and Sanders, "Reasoning About Program Composition", |
7 From Chandy and Sanders, "Reasoning About Program Composition", |
8 Technical Report 2000-003, University of Florida, 2000. |
8 Technical Report 2000-003, University of Florida, 2000. |
9 *) |
9 *) |
10 |
10 |
11 header{*Composition: Basic Primitives*} |
11 section{*Composition: Basic Primitives*} |
12 |
12 |
13 theory Comp |
13 theory Comp |
14 imports Union |
14 imports Union |
15 begin |
15 begin |
16 |
16 |