doc-src/IsarRef/isar-ref.tex
changeset 7046 9f755ff43cff
child 7050 c70d3402fef5
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Mon Jul 19 17:08:05 1999 +0200
     1.3 @@ -0,0 +1,61 @@
     1.4 +
     1.5 +%% $Id$
     1.6 +
     1.7 +\documentclass[12pt]{report}
     1.8 +\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup}
     1.9 +
    1.10 +\title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.11 +
    1.12 +\author{\emph{Markus Wenzel} \\ TU M\"unchen}
    1.13 +
    1.14 +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.15 +
    1.16 +\pagestyle{headings}
    1.17 +\sloppy
    1.18 +\binperiod     %%%treat . like a binary operator
    1.19 +
    1.20 +\railalias{lbrace}{\ttlbrace}
    1.21 +\railalias{rbrace}{\ttrbrace}
    1.22 +\railterm{lbrace,rbrace}
    1.23 +
    1.24 +\railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim}
    1.25 +
    1.26 +
    1.27 +\begin{document}
    1.28 +
    1.29 +\underscoreoff
    1.30 +
    1.31 +\maketitle 
    1.32 +
    1.33 +\begin{abstract}
    1.34 +  FIXME
    1.35 +\end{abstract}
    1.36 +
    1.37 +\pagenumbering{roman} \tableofcontents \clearfirst
    1.38 +
    1.39 +%FIXME
    1.40 +\nocite{Rudnicki:1992:MizarOverview}
    1.41 +\nocite{Harrison:1996:MizarHOL}
    1.42 +\nocite{Rudnicki:1992:MizarOverview}
    1.43 +\nocite{Trybulec:1993:MizarFeatures}
    1.44 +\nocite{Syme:1997:DECLARE}
    1.45 +\nocite{Syme:1998:thesis}
    1.46 +\nocite{Syme:1999:TPHOL}
    1.47 +\nocite{Wenzel:1999:TPHOL}
    1.48 +
    1.49 +\include{intro}
    1.50 +\include{basics}
    1.51 +\include{syntax}
    1.52 +\include{pure}
    1.53 +\include{simplifier}
    1.54 +\include{classical}
    1.55 +\include{hol}
    1.56 +
    1.57 +\begingroup
    1.58 +  \bibliographystyle{plain} \small\raggedright\frenchspacing
    1.59 +  \bibliography{../manual}
    1.60 +\endgroup
    1.61 +
    1.62 +\input{isar-ref.ind}
    1.63 +
    1.64 +\end{document}