1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 08 04:20:08 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 08 12:27:19 2008 +0200
     1.3 @@ -47,6 +47,9 @@
     1.4  \railalias{rightleftharpoons}{\isasymrightleftharpoons}\railterm{rightleftharpoons}
     1.5  \railalias{rightharpoonup}{\isasymrightharpoonup}\railterm{rightharpoonup}
     1.6  \railalias{leftharpoondown}{\isasymleftharpoondown}\railterm{leftharpoondown}
     1.7 +\railalias{verblbrace}{\texttt{\ttlbrace*}}\railterm{verblbrace}
     1.8 +\railalias{verbrbrace}{\texttt{*\ttrbrace}}\railterm{verbrbrace}
     1.9 +
    1.10  
    1.11  \chardef\charbackquote=`\`
    1.12  \newcommand{\backquote}{\mbox{\tt\charbackquote}}