--- a/doc-src/IsarImplementation/implementation.tex Fri Oct 08 18:05:35 2010 +0100
+++ b/doc-src/IsarImplementation/implementation.tex Fri Oct 08 20:59:01 2010 +0100
@@ -4,6 +4,7 @@
\usepackage{../iman,../extra,../isar,../proof}
\usepackage[nohyphen,strings]{../underscore}
\usepackage{../isabelle,../isabellesym}
+\usepackage{../ttbox,../rail,../railsetup}
\usepackage{style}
\usepackage{../pdfsetup}
@@ -22,6 +23,11 @@
\makeindex
+\railterm{lbrace,rbrace,atsign}
+\railalias{lbracesym}{\isasymlbrace}\railterm{lbracesym}
+\railalias{rbracesym}{\isasymrbrace}\railterm{rbracesym}
+\railalias{dots}{\isasymdots}\railterm{dots}
+
\begin{document}