src/HOL/Algebra/document/root.tex
author ballarin
Tue Apr 13 09:42:40 2004 +0200 (2004-04-13)
changeset 14551 2cb6ff394bfb
parent 13950 74f638d8a829
child 14578 1f3f7e58b195
permissions -rw-r--r--
Various changes to HOL-Algebra;
Locale instantiation.
     1 
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{isabelle,isabellesym}
     4 
     5 %\usepackage{substr}
     6 
     7 %\renewcommand{\isamarkupheader}[1]{%
     8 %  \IfSubStringInString{Chapter: }{#1}{%
     9 %    \chapter{\BehindSubString{Chapter: }{#1}}}{%
    10 %  \section{#1}}}
    11 
    12 % further packages required for unusual symbols (see also isabellesym.sty)
    13 
    14 %\usepackage{latexsym}                 % for \<leadsto>, \<box>, \<diamond>,
    15                                        %   \<sqsupset>, \<mho>, \<Join>
    16                                        %   and \<lhd> and others!
    17 \usepackage{amssymb}                  % for \<lesssim>, \<greatersim>,
    18                                        %   \<lessapprox>, \<greaterapprox>,
    19                                        %   \<triangleq>, \<yen>, \<lozenge>
    20 %\usepackage[english]{babel}           % for \<guillemotleft> \<guillemotright>
    21 \usepackage[latin1]{inputenc}         % for \<onesuperior>, \<onequarter>,
    22                                        %   \<twosuperior>, \<onehalf>,
    23                                        %   \<threesuperior>, \<threequarters>
    24                                        %   \<degree>
    25 \usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
    26 %\usepackage{wasysym}
    27 %\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
    28 %\usepackage{textcomp}                  % for \<zero> ... \<nine>, \<cent>
    29                                        %   \<currency>
    30 %\usepackage{marvosym}                 % for \<euro>
    31 
    32 % this should be the last package used
    33 \usepackage{pdfsetup}
    34 
    35 % proper setup for best-style documents
    36 \urlstyle{rm}
    37 \isabellestyle{it}
    38 
    39 
    40 \begin{document}
    41 
    42 \title{The Isabelle Algebra Library}
    43 \maketitle
    44 
    45 \tableofcontents
    46 
    47 \parindent 0pt\parskip 0.5ex
    48 
    49 % include generated text of all theories
    50 \input{session}
    51 
    52 %\bibliographystyle{abbrv}
    53 %\bibliography{root}
    54 
    55 \end{document}