doc-src/IsarImplementation/style.sty
changeset 20478 de1bd9717d6c
parent 20470 c839b38a1f32
child 20491 98ba42f19995
equal deleted inserted replaced
20477:e623b0e30541 20478:de1bd9717d6c
    28 \newcommand{\edrv}{\mathop{\drv}\nolimits}
    28 \newcommand{\edrv}{\mathop{\drv}\nolimits}
    29 \newcommand{\Drv}[1]{\mathrel{\vdash_{#1}}}
    29 \newcommand{\Drv}[1]{\mathrel{\vdash_{#1}}}
    30 \newcommand{\Or}{\mathrel{\;|\;}}
    30 \newcommand{\Or}{\mathrel{\;|\;}}
    31 
    31 
    32 \renewcommand{\vec}[1]{\overline{#1}}
    32 \renewcommand{\vec}[1]{\overline{#1}}
       
    33 \newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
    33 \renewcommand{\phi}{\varphi}
    34 \renewcommand{\phi}{\varphi}
    34 
    35 
    35 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    36 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    36 
    37 
    37 \pagestyle{headings}
    38 \pagestyle{headings}