1 (*<*)
2 (*%:wrap=soft:maxLineLen=78:*)
3 theory Specify_Phase
4 imports "Specify.Specify"
5 begin
6 (*>*)
7
8 text \<open>
9 chapter \<open>Interactive Specification in an \isac-Calculation\<close>
10 \<close>
11
12 (*<*)
13 end
14 (*>*)