| changeset 60189 | 6b021e8cb8da |
| parent 60183 | 0959e61a3f3f |
| child 60190 | df5045d244d1 |
| 60188:422186a35be8 | 60189:6b021e8cb8da |
|---|---|
3 theory Specify_Phase |
3 theory Specify_Phase |
4 imports "Specify.Specify" |
4 imports "Specify.Specify" |
5 begin |
5 begin |
6 (*>*) |
6 (*>*) |
7 |
7 |
8 text \<open> |
|
9 chapter \<open>Interactive Specification in an \isac-Calculation\<close> |
|
10 \<close> |
|
8 |
11 |
9 (*<*) |
12 (*<*) |
10 end |
13 end |
11 (*>*) |
14 (*>*) |