1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Apr 22 10:31:15 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Apr 22 13:35:26 2008 +0200
     1.3 @@ -2,24 +2,18 @@
     1.4  %% $Id$
     1.5  
     1.6  \documentclass[12pt,a4paper,fleqn]{report}
     1.7 -\usepackage{latexsym,graphicx,../iman,../extra,../ttbox,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.8 +\usepackage{latexsym,graphicx}
     1.9 +\usepackage{../iman,../extra,../isar,../proof}
    1.10 +\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
    1.11 +\usepackage{../ttbox,,../rail,../railsetup}
    1.12 +\usepackage{style}
    1.13 +\usepackage{../pdfsetup}
    1.14  
    1.15  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.16  \author{\emph{Markus Wenzel} \\ TU M\"unchen}
    1.17  
    1.18  \makeindex
    1.19  
    1.20 -\newcommand{\isastyle}{\small\tt\slshape}
    1.21 -\newcommand{\isa}[1]{\emph{\isastyle #1}}
    1.22 -\newcommand{\isamath}[1]{\emph{$#1$}}
    1.23 -\newcommand{\isasymColon}{\isamath{\mathrel{::}}}
    1.24 -\newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
    1.25 -\newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
    1.26 -\newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
    1.27 -\newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
    1.28 -\newcommand{\isasymequiv}{\isamath{\equiv}}
    1.29 -\newcommand{\isasymsubseteq}{\isamath{\subseteq}}
    1.30 -
    1.31  \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
    1.32  \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}
    1.33  \railterm{name,nameref,text,type,term,prop,atom}
    1.34 @@ -61,8 +55,6 @@
    1.35  
    1.36  \renewcommand{\phi}{\varphi}
    1.37  
    1.38 -%\includeonly{}
    1.39 -
    1.40  
    1.41  \begin{document}
    1.42