doc-src/IsarRef/style.sty
author haftmann
Wed Sep 07 23:38:52 2011 +0200 (2011-09-07)
changeset 44818 27ba81ad0890
parent 42666 fee67c099d03
child 45646 02afa20cf397
permissions -rw-r--r--
theory of saturated naturals contributed by Peter Gammie
wenzelm@26738
     1
%% toc
wenzelm@26738
     2
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
wenzelm@26738
     3
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
wenzelm@26738
     4
wenzelm@26865
     5
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
wenzelm@26865
     6
wenzelm@26738
     7
%% references
wenzelm@26738
     8
\newcommand{\secref}[1]{\S\ref{#1}}
wenzelm@26738
     9
\newcommand{\chref}[1]{chapter~\ref{#1}}
wenzelm@26759
    10
\newcommand{\Chref}[1]{Chapter~\ref{#1}}
wenzelm@26759
    11
\newcommand{\appref}[1]{appendix~\ref{#1}}
wenzelm@26759
    12
\newcommand{\Appref}[1]{Appendix~\ref{#1}}
wenzelm@26738
    13
\newcommand{\figref}[1]{figure~\ref{#1}}
wenzelm@26759
    14
\newcommand{\Figref}[1]{Figure~\ref{#1}}
wenzelm@26738
    15
wenzelm@28760
    16
%% ML
wenzelm@28763
    17
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
wenzelm@28758
    18
wenzelm@42654
    19
\renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\def\isadigit##1{##1}}
wenzelm@42654
    20
\renewcommand{\endisatagML}{\endgroup}
wenzelm@42654
    21
wenzelm@29725
    22
%% Isar
wenzelm@29725
    23
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
wenzelm@29733
    24
\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
wenzelm@29725
    25
wenzelm@26859
    26
%% math
wenzelm@29725
    27
\newcommand{\isasymstrut}{\isamath{\mathstrut}}
wenzelm@29725
    28
\newcommand{\isasymvartheta}{\isamath{\,\theta}}
wenzelm@26859
    29
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
wenzelm@26859
    30
\renewcommand{\isadigit}[1]{\isamath{#1}}
wenzelm@29725
    31
\newcommand{\text}[1]{\mbox{#1}}
wenzelm@26738
    32
wenzelm@26865
    33
%% global style options
wenzelm@26738
    34
\pagestyle{headings}
wenzelm@26738
    35
\sloppy
wenzelm@26738
    36
wenzelm@42656
    37
\parindent 0pt\parskip 0.5ex
wenzelm@42656
    38
wenzelm@42664
    39
\isabellestyle{itunderscore}
wenzelm@42631
    40
wenzelm@42664
    41
\railtermfont{\isabellestyle{tt}}
wenzelm@42664
    42
\railnontermfont{\isabellestyle{itunderscore}}
wenzelm@42664
    43
\railnamefont{\isabellestyle{itunderscore}}