diff -r 96d10631eec2 -r 4b96e3c8b33e ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Mon Dec 31 20:20:55 2012 +0000
+++ b/ProgTutorial/Advanced.thy	Mon Feb 25 00:33:48 2013 +0000
@@ -699,7 +699,6 @@
 text {*
   @{ML_ind prove_future in Goal}
   @{ML_ind future_result in Goal}
-  @{ML_ind fork_pri in Future}
 *}
 
 section {* Parse and Print Translations (TBD) *}