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