doc-src/IsarImplementation/implementation.tex
changeset 42620 3a9723fca75c
parent 42511 bf89455ccf9d
child 42632 ebec0c1a5984
equal deleted inserted replaced
42619:9691759a9b3c 42620:3a9723fca75c
    20   Florian Haftmann
    20   Florian Haftmann
    21   and Larry Paulson
    21   and Larry Paulson
    22 }
    22 }
    23 
    23 
    24 \makeindex
    24 \makeindex
    25 
       
    26 \railterm{lbrace,rbrace,atsign}
       
    27 \railalias{lbracesym}{\isasymlbrace}\railterm{lbracesym}
       
    28 \railalias{rbracesym}{\isasymrbrace}\railterm{rbracesym}
       
    29 \railalias{dots}{\isasymdots}\railterm{dots}
       
    30 
    25 
    31 
    26 
    32 \begin{document}
    27 \begin{document}
    33 
    28 
    34 \maketitle
    29 \maketitle