equal
deleted
inserted
replaced
77 \newcommand{\CONSTDEFS}{\isarkeyword{constdefs}} |
77 \newcommand{\CONSTDEFS}{\isarkeyword{constdefs}} |
78 \newcommand{\DEFS}{\isarkeyword{defs}} |
78 \newcommand{\DEFS}{\isarkeyword{defs}} |
79 \newcommand{\AXCLASS}{\isarkeyword{axclass}} |
79 \newcommand{\AXCLASS}{\isarkeyword{axclass}} |
80 \newcommand{\INSTANCE}{\isarkeyword{instance}} |
80 \newcommand{\INSTANCE}{\isarkeyword{instance}} |
81 \newcommand{\INSTANTIATION}{\isarkeyword{instantiation}} |
81 \newcommand{\INSTANTIATION}{\isarkeyword{instantiation}} |
|
82 \newcommand{\OVERLOADING}{\isarkeyword{overloading}} |
82 \newcommand{\DECLARE}{\isarkeyword{declare}} |
83 \newcommand{\DECLARE}{\isarkeyword{declare}} |
83 \newcommand{\LEMMAS}{\isarkeyword{lemmas}} |
84 \newcommand{\LEMMAS}{\isarkeyword{lemmas}} |
84 \newcommand{\THEOREMS}{\isarkeyword{theorems}} |
85 \newcommand{\THEOREMS}{\isarkeyword{theorems}} |
85 \newcommand{\LOCALE}{\isarkeyword{locale}} |
86 \newcommand{\LOCALE}{\isarkeyword{locale}} |
86 \newcommand{\CLASS}{\isarkeyword{class}} |
87 \newcommand{\CLASS}{\isarkeyword{class}} |