
diff -r aec7073d4645 -r daf404920ab9 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Fri Jun 03 15:15:17 2016 +0100
+++ b/ProgTutorial/Advanced.thy	Tue May 14 11:10:53 2019 +0200
@@ -646,7 +646,7 @@
 text {* 
   @{ML_ind "Binding.name_of"} returns the string without markup
 
-  @{ML_ind "Binding.conceal"} 
+  @{ML_ind "Binding.concealed"} 
 *}
 
 section {* Concurrency (TBD) *}




