1.1 --- a/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 13:20:05 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 14:07:17 2021 +0200
     1.3 @@ -6,7 +6,9 @@
     1.4  (*>*)
     1.5  
     1.6  text \<open>
     1.7 -chapter \<open>Interactive Specification in an \isac-Calculation\<close>
     1.8 +\chapter{Interactive Specification in an \isac-Calculation}
     1.9 +
    1.10 +TODO
    1.11  \<close>
    1.12  
    1.13  (*<*)