--- a/ProgTutorial/Recipes/ExternalSolver.thy	Thu Mar 26 19:00:51 2009 +0000
+++ b/ProgTutorial/Recipes/ExternalSolver.thy	Fri Mar 27 12:49:28 2009 +0000
@@ -3,7 +3,7 @@
 begin
 
 
-section {* Executing an External Application \label{rec:external}*}
+section {* Executing an External Application (TBD) \label{rec:external}*}
 
 text {*
   {\bf Problem:}