| changeset 42620 | 3a9723fca75c |
| parent 42511 | bf89455ccf9d |
| child 42632 | ebec0c1a5984 |
--- 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}