--- a/doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex Fri Oct 17 10:14:38 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex Fri Oct 17 10:21:03 2008 +0200
@@ -298,7 +298,7 @@
\node (seri) at (1, 0) [style=process] {serialisation};
\node (SML) at (0, 3) [style=entity] {\isa{SML}};
\node (OCaml) at (0, 2) [style=entity] {\isa{OCaml}};
- \node (further) at (0, 1) [style=entity] {\isa{{\isacharquery}}};
+ \node (further) at (0, 1) [style=entity] {\isa{{\isasymdots}}};
\node (Haskell) at (0, 0) [style=entity] {\isa{Haskell}};
\draw [style=process_arrow] (HOL) .. controls (2, 4) ..
node [style=process, near start] {selection}