
diff -r 422186a35be8 -r 6b021e8cb8da src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy
--- a/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Thu Apr 08 13:27:27 2021 +0200
+++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 13:20:05 2021 +0200
@@ -5,6 +5,9 @@
 begin
 (*>*)
 
+text \<open>
+chapter \<open>Interactive Specification in an \isac-Calculation\<close>
+\<close>
 
 (*<*)
 end




