equal
deleted
inserted
replaced
45 |
45 |
46 \newcommand{\drv}{\mathrel{\vdash}} |
46 \newcommand{\drv}{\mathrel{\vdash}} |
47 \newcommand{\edrv}{\mathop{\drv}\nolimits} |
47 \newcommand{\edrv}{\mathop{\drv}\nolimits} |
48 \newcommand{\Or}{\mathrel{\;|\;}} |
48 \newcommand{\Or}{\mathrel{\;|\;}} |
49 |
49 |
|
50 \renewcommand{\vec}[1]{\overline{#1}} |
50 |
51 |
51 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
52 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
52 |
53 |
53 \pagestyle{headings} |
54 \pagestyle{headings} |
54 \sloppy |
55 \sloppy |