lib/texinputs/isabelle.sty
changeset 7752 7ee322caf59c
parent 7709 545637744a85
child 7758 d36c19045493
equal deleted inserted replaced
7751:91d16d251ea7 7752:7ee322caf59c
     4 %% macros for Isabelle generated LaTeX output
     4 %% macros for Isabelle generated LaTeX output
     5 %%
     5 %%
     6 
     6 
     7 %%% Simple document preparation (based on theory token language)
     7 %%% Simple document preparation (based on theory token language)
     8 
     8 
       
     9 %basic environment
     9 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
    10 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
    10 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    11 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
       
    12 
       
    13 %keywords
    11 \newcommand{\isacommand}[1]{{\bf #1}}
    14 \newcommand{\isacommand}[1]{{\bf #1}}
    12 \newcommand{\isakeyword}[1]{{\bf #1}}
    15 \newcommand{\isakeyword}[1]{{\bf #1}}
    13 \newcommand{\isatext}[1]{{\rm #1}}
    16 
       
    17 %theory sections
       
    18 \newcommand{\isamarkupheader}[1]{{\rm #1}}
       
    19 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
       
    20 \newcommand{\isamarkupsection}[1]{\section{#1}}
       
    21 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
       
    22 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
       
    23 \newcommand{\isamarkuptext}[1]{{\rm #1}}
       
    24 
       
    25 %proof sections
       
    26 \newcommand{\isamarkupsect}[1]{\section{#1}}
       
    27 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
       
    28 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
       
    29 \newcommand{\isamarkuptxt}[1]{{\sl #1}}