author | wenzelm |
Wed, 19 Aug 2015 16:21:10 +0200 | |
changeset 60975 | 5f3d6e16ea78 |
parent 60459 | 2761a2249c83 |
child 61671 | 20d4cd2ceab2 |
permissions | -rw-r--r-- |
7050 | 1 |
\usepackage{ifthen} |
2 |
||
26745 | 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)}}} |
|
7138 | 6 |
|
59346 | 7 |
\newcommand{\isadigitreset}{\def\isadigit##1{##1}} |
8 |
||
59343 | 9 |
\newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}} |
10 |
\newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}} |
|
28214 | 11 |
|
26745 | 12 |
\newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}} |
13 |
\newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}} |
|
14 |
\newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}} |
|
7170 | 15 |
|
60459 | 16 |
\newcommand{\isasymIF}{\isakeyword{if}} |
55143
04448228381d
explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
wenzelm
parents:
51657
diff
changeset
|
17 |
\newcommand{\isasymFOR}{\isakeyword{for}} |
26755 | 18 |
\newcommand{\isasymAND}{\isakeyword{and}} |
19 |
\newcommand{\isasymIS}{\isakeyword{is}} |
|
20 |
\newcommand{\isasymWHERE}{\isakeyword{where}} |
|
59003
16d92d37a8a1
documentation stubs about permanent_interpretation
haftmann
parents:
58716
diff
changeset
|
21 |
\newcommand{\isasymDEFINING}{\isakeyword{defining}} |
26769 | 22 |
\newcommand{\isasymBEGIN}{\isakeyword{begin}} |
23 |
\newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
|
26783 | 24 |
\newcommand{\isasymIN}{\isakeyword{in}} |
29727 | 25 |
\newcommand{\isasymFIXES}{\isakeyword{fixes}} |
26 |
\newcommand{\isasymASSUMES}{\isakeyword{assumes}} |
|
27 |
\newcommand{\isasymSHOWS}{\isakeyword{shows}} |
|
28 |
\newcommand{\isasymOBTAINS}{\isakeyword{obtains}} |
|
29 |
||
30 |
\newcommand{\isasymASSM}{\isacommand{assm}} |