--- a/doc-src/IsarRef/isar-ref.tex Fri Oct 29 12:49:50 1999 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Fri Oct 29 16:48:55 1999 +0200
@@ -2,7 +2,7 @@
%% $Id$
\documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
+\usepackage{latexsym,graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
\title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
\author{\emph{Markus Wenzel} \\ TU M\"unchen}
@@ -22,6 +22,7 @@
\newcommand{\drv}{\mathrel{\vdash}}
\newcommand{\edrv}{\mathop{\drv}\nolimits}
+\newcommand{\Or}{\mathrel{\;|\;}}
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
@@ -32,7 +33,7 @@
\renewcommand{\phi}{\varphi}
-%\includeonly{pure}
+%\includeonly{refcard}