1 (*<*)
2 (*%:wrap=soft:maxLineLen=78:*)
3 theory Specify_Phase
4 imports "Specify.Specify"
5 begin
6 (*>*)
7
8
9 (*<*)
10 end
11 (*>*)