equal
deleted
inserted
replaced
3 Copyright 2003 University of Cambridge |
3 Copyright 2003 University of Cambridge |
4 |
4 |
5 David Meier's thesis |
5 David Meier's thesis |
6 *) |
6 *) |
7 |
7 |
8 header{*Progress Set Examples*} |
8 section{*Progress Set Examples*} |
9 |
9 |
10 theory Progress imports "../UNITY_Main" begin |
10 theory Progress imports "../UNITY_Main" begin |
11 |
11 |
12 subsection {*The Composition of Two Single-Assignment Programs*} |
12 subsection {*The Composition of Two Single-Assignment Programs*} |
13 text{*Thesis Section 4.4.2*} |
13 text{*Thesis Section 4.4.2*} |