wneuper/isa: doc-src/IsarRef/style.sty@4f066dfc58d1

     2 %% $Id$

     4 %% toc

     5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}

     6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}

     8 %% references

     9 \newcommand{\secref}[1]{\S\ref{#1}}

    10 \newcommand{\chref}[1]{chapter~\ref{#1}}

    11 \newcommand{\Chref}[1]{Chapter~\ref{#1}}

    12 \newcommand{\appref}[1]{appendix~\ref{#1}}

    13 \newcommand{\Appref}[1]{Appendix~\ref{#1}}

    14 \newcommand{\figref}[1]{figure~\ref{#1}}

    15 \newcommand{\Figref}[1]{Figure~\ref{#1}}

    17 %% index

    18 %FIXME

    20 %% math

    21 \newcommand{\text}[1]{\mbox{#1}}

    22 \newcommand{\isasymvartheta}{\isamath{\theta}}

    23 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}

    25 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}

    27 \pagestyle{headings}

    28 \sloppy

    29 \binperiod

    30 \underscoreon

    32 \renewcommand{\isadigit}[1]{\isamath{#1}}

    34 \newcommand{\minorcmd}[1]{{\sf #1}}

    36 \newcommand{\isasymGUESS}{\isakeyword{guess}}

    37 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}}

    38 \newcommand{\isasymTHEORY}{\isakeyword{theory}}

    39 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}

    40 \newcommand{\isasymUSES}{\isakeyword{uses}}

    41 \newcommand{\isasymBEGIN}{\isakeyword{begin}}

    42 \newcommand{\isasymEND}{\isakeyword{end}}

    43 \newcommand{\isasymCONSTS}{\isakeyword{consts}}

    44 \newcommand{\isasymDEFS}{\isakeyword{defs}}

    45 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}

    46 \newcommand{\isasymDEFINITION}{\isakeyword{definition}}

    48 \isabellestyle{it}

    50 %%% Local Variables:

    51 %%% mode: latex

    52 %%% TeX-master: "implementation"

    53 %%% End:

author	wenzelm
	Tue, 29 Apr 2008 13:39:54 +0200
changeset 26759	4f066dfc58d1
parent 26738	615e1a86787b
child 26767	cc127cc0951b
permissions	-rw-r--r--