1.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri Oct 29 12:49:50 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri Oct 29 16:48:55 1999 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  %% $Id$
     1.5  
     1.6  \documentclass[12pt,a4paper,fleqn]{report}
     1.7 -\usepackage{graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.8 +\usepackage{latexsym,graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.9  
    1.10  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.11  \author{\emph{Markus Wenzel} \\ TU M\"unchen}
    1.12 @@ -22,6 +22,7 @@
    1.13  
    1.14  \newcommand{\drv}{\mathrel{\vdash}}
    1.15  \newcommand{\edrv}{\mathop{\drv}\nolimits}
    1.16 +\newcommand{\Or}{\mathrel{\;|\;}}
    1.17  
    1.18  
    1.19  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.20 @@ -32,7 +33,7 @@
    1.21  
    1.22  \renewcommand{\phi}{\varphi}
    1.23  
    1.24 -%\includeonly{pure}
    1.25 +%\includeonly{refcard}
    1.26  
    1.27  
    1.28