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 {*