1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Jun 29 22:39:31 2000 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Jun 29 22:39:57 2000 +0200
     1.3 @@ -9,7 +9,12 @@
     1.4  
     1.5  \makeindex
     1.6  
     1.7 -\railterm{percent,ppercent,underscore}
     1.8 +\newcommand{\isabellestyle}{\small\tt\slshape}
     1.9 +\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
    1.10 +\newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
    1.11 +\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
    1.12 +
    1.13 +\railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
    1.14  \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}
    1.15  \railterm{name,nameref,text,type,term,prop,atom}
    1.16