1.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri Oct 28 22:27:41 2005 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri Oct 28 22:27:44 2005 +0200
     1.3 @@ -44,6 +44,9 @@
     1.4  \railalias{prop}{\railqtok{prop}}
     1.5  \railalias{atom}{\railqtok{atom}}
     1.6  
     1.7 +\chardef\charbackquote=`\`
     1.8 +\newcommand{\backquote}{\mbox{\tt\charbackquote}}
     1.9 +
    1.10  \newcommand{\drv}{\mathrel{\vdash}}
    1.11  \newcommand{\edrv}{\mathop{\drv}\nolimits}
    1.12  \newcommand{\Or}{\mathrel{\;|\;}}