# HG changeset patch
# User wenzelm
# Date 962311197 -7200
# Node ID e865dda0313e05967d0d42a83113a1631c0caaa3
# Parent  697f2c8727a1dd9b07010fbfa4038eab950705fc
tuned rail setup;
some isabelle symbols;

diff -r 697f2c8727a1 -r e865dda0313e doc-src/IsarRef/isar-ref.tex
--- 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}