diff -r 2c392f61f400 -r a2e49e0771b3 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Thu Nov 19 17:48:44 2009 +0100
+++ b/ProgTutorial/Advanced.thy	Thu Nov 19 20:00:10 2009 +0100
@@ -227,6 +227,8 @@
   @{ML_ind fork_pri in Future}
 *}
 
+section {* Parse and Print Translations (TBD) *}
+
 section {* Summary *}
 
 text {*