equal
deleted
inserted
replaced
|
1 \usepackage{ifthen} |
|
2 |
|
3 \newcommand{\indexdef}[3]% |
|
4 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |
|
5 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}} |
|
6 |
|
7 \newcommand{\isatt}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt #1}} |
|
8 \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt isabelle #1}} |
|
9 |
|
10 \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}} |
|
11 \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}} |
|
12 \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}} |
|
13 |
|
14 \newcommand{\isasymAND}{\isakeyword{and}} |
|
15 \newcommand{\isasymIS}{\isakeyword{is}} |
|
16 \newcommand{\isasymWHERE}{\isakeyword{where}} |
|
17 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
|
18 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
|
19 \newcommand{\isasymIN}{\isakeyword{in}} |
|
20 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}} |
|
21 \newcommand{\isasymFIXES}{\isakeyword{fixes}} |
|
22 \newcommand{\isasymASSUMES}{\isakeyword{assumes}} |
|
23 \newcommand{\isasymSHOWS}{\isakeyword{shows}} |
|
24 \newcommand{\isasymOBTAINS}{\isakeyword{obtains}} |
|
25 |
|
26 \newcommand{\isasymASSM}{\isacommand{assm}} |