equal
deleted
inserted
replaced
6 |
6 |
7 \newcommand{\isadigitreset}{\def\isadigit##1{##1}} |
7 \newcommand{\isadigitreset}{\def\isadigit##1{##1}} |
8 |
8 |
9 \newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}} |
9 \newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}} |
10 \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}} |
10 \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}} |
11 |
|
12 \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}} |
|
13 |
11 |
14 \newcommand{\isasymIF}{\isakeyword{if}} |
12 \newcommand{\isasymIF}{\isakeyword{if}} |
15 \newcommand{\isasymFOR}{\isakeyword{for}} |
13 \newcommand{\isasymFOR}{\isakeyword{for}} |
16 \newcommand{\isasymAND}{\isakeyword{and}} |
14 \newcommand{\isasymAND}{\isakeyword{and}} |
17 \newcommand{\isasymIS}{\isakeyword{is}} |
15 \newcommand{\isasymIS}{\isakeyword{is}} |