diff -r f6b0d827240e -r bdc1e2f0a86a src/Doc/Codegen/Foundations.thy
--- a/src/Doc/Codegen/Foundations.thy	Tue Sep 01 17:25:36 2015 +0200
+++ b/src/Doc/Codegen/Foundations.thy	Tue Sep 01 22:32:58 2015 +0200
@@ -144,7 +144,7 @@
   \emph{Function transformers} provide a very general
   interface, transforming a list of function theorems to another list
   of function theorems, provided that neither the heading constant nor
-  its type change.  The @{term "0\<Colon>nat"} / @{const Suc} pattern
+  its type change.  The @{term "0::nat"} / @{const Suc} pattern
   used in theory @{text Code_Abstract_Nat} (see \secref{abstract_nat})
   uses this interface.