%% toc \newcommand {\tocentry }[1]{\cleardoublepage \phantomsection \addcontentsline {toc}{chapter}{#1}\@ mkboth{\MakeUppercase {#1}}{\MakeUppercase {#1}}}%% references \newcommand {\secref }[1]{\S \ref {#1}}\newcommand {\chref }[1]{chapter~\ref {#1}}\newcommand {\figref }[1]{figure~\ref {#1}}%% math \newcommand {\isasymvartheta }{\isamath {\theta }}\newcommand {\isactrlvec }[1]{\emph {$\overline {#1}$}}\setcounter {secnumdepth}{2} \setcounter {tocdepth}{2}\pagestyle {headings}\sloppy \binperiod \underscoreon \renewcommand {\isadigit }[1]{\isamath {#1}}\newenvironment {mldecls}{\par \noindent \begingroup \footnotesize \def \isanewline {\\ }\begin {tabular}{l}}{\end {tabular}\smallskip \endgroup }\isafoldtag {FIXME}\isakeeptag {mlref}\renewcommand {\isatagmlref }{\subsection *{\makebox [0pt][r]{\fbox {\ML }~~}Reference}\begingroup \def \isastyletext {\rm }\small }\renewcommand {\endisatagmlref }{\endgroup }\newcommand {\isasymGUESS }{\isakeyword {guess}}\newcommand {\isasymOBTAIN }{\isakeyword {obtain}}\newcommand {\isasymTHEORY }{\isakeyword {theory}}\newcommand {\isasymUSES }{\isakeyword {uses}}\newcommand {\isasymEND }{\isakeyword {end}}\newcommand {\isasymCONSTS }{\isakeyword {consts}}\newcommand {\isasymDEFS }{\isakeyword {defs}}\newcommand {\isasymTHEOREM }{\isakeyword {theorem}}\newcommand {\isasymDEFINITION }{\isakeyword {definition}}\isabellestyle {it}%%% Local Variables: %%% mode: latex %%% TeX-master: "implementation" %%% End: quality 100%
¤ Dauer der Verarbeitung: 0.4 Sekunden
¤ *© Formatika GbR, Deutschland
