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