
diff -r 9691759a9b3c -r 3a9723fca75c doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Mon May 02 17:12:11 2011 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Mon May 02 17:28:09 2011 +0200
@@ -23,11 +23,6 @@
 
 \makeindex
 
-\railterm{lbrace,rbrace,atsign}
-\railalias{lbracesym}{\isasymlbrace}\railterm{lbracesym}
-\railalias{rbracesym}{\isasymrbrace}\railterm{rbracesym}
-\railalias{dots}{\isasymdots}\railterm{dots}
-
 
 \begin{document}
 




