equal
deleted
inserted
replaced
14 \newcommand{\figref}[1]{figure~\ref{#1}} |
14 \newcommand{\figref}[1]{figure~\ref{#1}} |
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
16 |
16 |
17 %% Isar |
17 %% Isar |
18 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
18 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
19 \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} |
|
20 \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
19 \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
21 |
20 |
22 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} |
21 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} |
23 |
22 |
24 |
23 |