diff -r 6b021e8cb8da -r df5045d244d1 src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy
--- a/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 13:20:05 2021 +0200
+++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 13 14:07:17 2021 +0200
@@ -6,7 +6,9 @@
 (*>*)
 
 text \<open>
-chapter \<open>Interactive Specification in an \isac-Calculation\<close>
+\chapter{Interactive Specification in an \isac-Calculation}
+
+TODO
 \<close>
 
 (*<*)