1.1 --- a/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Thu Apr 08 13:27:27 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 13:20:05 2021 +0200
     1.3 @@ -5,6 +5,9 @@
     1.4  begin
     1.5  (*>*)
     1.6  
     1.7 +text \<open>
     1.8 +chapter \<open>Interactive Specification in an \isac-Calculation\<close>
     1.9 +\<close>
    1.10  
    1.11  (*<*)
    1.12  end