doc-src/IsarRef/isar-ref.tex
author wenzelm
Tue Jul 20 18:50:46 1999 +0200 (1999-07-20)
changeset 7050 c70d3402fef5
parent 7046 9f755ff43cff
child 7134 320b412e5800
permissions -rw-r--r--
checkpoint;
     1 
     2 %% $Id$
     3 
     4 \documentclass[12pt]{report}
     5 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../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 
    13 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    14 
    15 \pagestyle{headings}
    16 \sloppy
    17 \binperiod     %%%treat . like a binary operator
    18 
    19 \railalias{lbrace}{\ttlbrace}
    20 \railalias{rbrace}{\ttrbrace}
    21 \railterm{lbrace,rbrace}
    22 
    23 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim}
    24 \railterm{name,nameref,text,type,term,prop,atom}
    25 
    26 \makeatletter
    27 \newcommand{\railtoken}[1]{{\rail@termfont{#1}}}
    28 \newcommand{\railnonterm}[1]{{\rail@nontfont{#1}}}
    29 \makeatother
    30 
    31 \newcommand\indexoutertoken[1]{\index{#1@\railtoken{#1} (outer syntax)|bold}}
    32 \newcommand\indexouternonterm[1]{\index{#1@\railnonterm{#1} (outer syntax)|bold}}
    33 
    34 \begin{document}
    35 
    36 \underscoreoff
    37 
    38 \maketitle 
    39 
    40 \begin{abstract}
    41   FIXME
    42 \end{abstract}
    43 
    44 \pagenumbering{roman} \tableofcontents \clearfirst
    45 
    46 %FIXME
    47 \nocite{Rudnicki:1992:MizarOverview}
    48 \nocite{Harrison:1996:MizarHOL}
    49 \nocite{Rudnicki:1992:MizarOverview}
    50 \nocite{Trybulec:1993:MizarFeatures}
    51 \nocite{Syme:1997:DECLARE}
    52 \nocite{Syme:1998:thesis}
    53 \nocite{Syme:1999:TPHOL}
    54 \nocite{Wenzel:1999:TPHOL}
    55 
    56 \include{intro}
    57 \include{basics}
    58 \include{syntax}
    59 \include{pure}
    60 \include{simplifier}
    61 \include{classical}
    62 \include{hol}
    63 
    64 \begingroup
    65   \bibliographystyle{plain} \small\raggedright\frenchspacing
    66   \bibliography{../manual}
    67 \endgroup
    68 
    69 \input{isar-ref.ind}
    70 
    71 \end{document}