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