src/Doc/Implementation/ML.thy

--- a/src/Doc/Implementation/ML.thy	Fri Jun 27 19:38:32 2014 +0200
+++ b/src/Doc/Implementation/ML.thy	Fri Jun 27 22:08:55 2014 +0200
@@ -1935,7 +1935,7 @@
 
 text {* \medskip See @{file "~~/src/Pure/Concurrent/mailbox.ML"} how
   to implement a mailbox as synchronized variable over a purely
-  functional queue. *}
+  functional list. *}
 
 
 section {* Managed evaluation *}