--- a/ProgTutorial/Recipes/Oracle.thy	Thu Mar 26 19:00:51 2009 +0000
+++ b/ProgTutorial/Recipes/Oracle.thy	Fri Mar 27 12:49:28 2009 +0000
@@ -3,7 +3,7 @@
 uses ("external_solver.ML")
 begin
 
-section {* Writing an Oracle\label{rec:oracle} *} 
+section {* Writing an Oracle (TBD)\label{rec:oracle} *} 
 
 text {*
   {\bf Problem:}