equal
deleted
inserted
replaced
80 \newcommand{\INSTANCE}{\isarkeyword{instance}} |
80 \newcommand{\INSTANCE}{\isarkeyword{instance}} |
81 \newcommand{\DECLARE}{\isarkeyword{declare}} |
81 \newcommand{\DECLARE}{\isarkeyword{declare}} |
82 \newcommand{\LEMMAS}{\isarkeyword{lemmas}} |
82 \newcommand{\LEMMAS}{\isarkeyword{lemmas}} |
83 \newcommand{\THEOREMS}{\isarkeyword{theorems}} |
83 \newcommand{\THEOREMS}{\isarkeyword{theorems}} |
84 \newcommand{\LOCALE}{\isarkeyword{locale}} |
84 \newcommand{\LOCALE}{\isarkeyword{locale}} |
|
85 \newcommand{\CLASS}{\isarkeyword{class}} |
85 \newcommand{\TEXT}{\isarkeyword{text}} |
86 \newcommand{\TEXT}{\isarkeyword{text}} |
86 \newcommand{\TXT}{\isarkeyword{txt}} |
87 \newcommand{\TXT}{\isarkeyword{txt}} |
87 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
88 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
88 \newcommand{\FROM}[1]{\FROMNAME~#1} |
89 \newcommand{\FROM}[1]{\FROMNAME~#1} |
89 \newcommand{\WITH}[1]{\WITHNAME~#1} |
90 \newcommand{\WITH}[1]{\WITHNAME~#1} |