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