doc-src/IsarRef/isar-ref.tex
author wenzelm
Fri Jul 30 14:59:32 1999 +0200 (1999-07-30)
changeset 7134 320b412e5800
parent 7050 c70d3402fef5
child 7135 8eabfd7e6b9b
permissions -rw-r--r--
more stuff;
     1 
     2 %% $Id$
     3 
     4 \documentclass[12pt,fleqn]{report}
     5 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     6 
     7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
     8 \author{\emph{Markus Wenzel} \\ TU M\"unchen}
     9 
    10 \makeindex
    11 
    12 \railterm{lbrace,rbrace,llbrace,rrbrace}
    13 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim}
    14 
    15 \railalias{name}{\railqtoken{name}}
    16 \railalias{nameref}{\railqtoken{nameref}}
    17 \railalias{text}{\railqtoken{text}}
    18 \railalias{type}{\railqtoken{type}}
    19 \railalias{term}{\railqtoken{term}}
    20 \railalias{prop}{\railqtoken{prop}}
    21 \railalias{atom}{\railqtoken{atom}}
    22 
    23 
    24 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    25 
    26 \pagestyle{headings}
    27 \sloppy
    28 \binperiod     %%%treat . like a binary operator
    29 
    30 \renewcommand{\phi}{\varphi}
    31 
    32 
    33 \begin{document}
    34 
    35 \underscoreoff
    36 
    37 \maketitle 
    38 
    39 \begin{abstract}
    40   FIXME
    41 \end{abstract}
    42 
    43 \pagenumbering{roman} \tableofcontents \clearfirst
    44 
    45 %FIXME
    46 \nocite{Rudnicki:1992:MizarOverview}
    47 \nocite{Harrison:1996:MizarHOL}
    48 \nocite{Rudnicki:1992:MizarOverview}
    49 \nocite{Trybulec:1993:MizarFeatures}
    50 \nocite{Syme:1997:DECLARE}
    51 \nocite{Syme:1998:thesis}
    52 \nocite{Syme:1999:TPHOL}
    53 \nocite{Wenzel:1999:TPHOL}
    54 
    55 \include{intro}
    56 \include{basics}
    57 \include{syntax}
    58 \include{pure}
    59 \include{clasimp}
    60 \include{hol}
    61 
    62 \begingroup
    63   \bibliographystyle{plain} \small\raggedright\frenchspacing
    64   \bibliography{../manual}
    65 \endgroup
    66 
    67 \input{isar-ref.ind}
    68 
    69 \end{document}