doc-src/IsarImplementation/style.sty
changeset 30240 5b25fee0362c
parent 26770 d688166808c0
child 30242 aea5d7fa7ef5
     1.1 --- a/doc-src/IsarImplementation/style.sty	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -1,6 +1,3 @@
     1.4 -
     1.5 -%% $Id$
     1.6 -
     1.7  %% toc
     1.8  \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     1.9  \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
    1.10 @@ -10,24 +7,12 @@
    1.11  \newcommand{\chref}[1]{chapter~\ref{#1}}
    1.12  \newcommand{\figref}[1]{figure~\ref{#1}}
    1.13  
    1.14 -%% glossary
    1.15 -\renewcommand{\glossary}[2]{\nomenclature{\bf #1}{#2}}
    1.16 -\newcommand{\seeglossary}[1]{\emph{#1}}
    1.17 -\newcommand{\glossaryname}{Glossary}
    1.18 -\renewcommand{\nomname}{\glossaryname}
    1.19 -\renewcommand{\pagedeclaration}[1]{\nobreak\quad\dotfill~page~\bold{#1}}
    1.20 -
    1.21 -%% index
    1.22 -\newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
    1.23 -\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}
    1.24 -\newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}
    1.25 -\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
    1.26 -\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
    1.27 -
    1.28  %% math
    1.29  \newcommand{\text}[1]{\mbox{#1}}
    1.30  \newcommand{\isasymvartheta}{\isamath{\theta}}
    1.31 -\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    1.32 +\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
    1.33 +\newcommand{\isactrlBG}{\isacharbackquoteopen}
    1.34 +\newcommand{\isactrlEN}{\isacharbackquoteclose}
    1.35  
    1.36  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.37  
    1.38 @@ -49,6 +34,10 @@
    1.39  \newcommand{\isasymtype}{\minorcmd{type}}
    1.40  \newcommand{\isasymval}{\minorcmd{val}}
    1.41  
    1.42 +\newcommand{\isasymFIX}{\isakeyword{fix}}
    1.43 +\newcommand{\isasymASSUME}{\isakeyword{assume}}
    1.44 +\newcommand{\isasymDEFINE}{\isakeyword{define}}
    1.45 +\newcommand{\isasymNOTE}{\isakeyword{note}}
    1.46  \newcommand{\isasymGUESS}{\isakeyword{guess}}
    1.47  \newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
    1.48  \newcommand{\isasymTHEORY}{\isakeyword{theory}}
    1.49 @@ -61,6 +50,7 @@
    1.50  
    1.51  \isabellestyle{it}
    1.52  
    1.53 +
    1.54  %%% Local Variables: 
    1.55  %%% mode: latex
    1.56  %%% TeX-master: "implementation"