| changeset 61671 | 20d4cd2ceab2 |
| parent 60459 | 2761a2249c83 |
| child 73746 | b2d47981c8dc |
--- a/src/Doc/isar.sty Sat Nov 14 08:45:52 2015 +0100 +++ b/src/Doc/isar.sty Sat Nov 14 08:45:52 2015 +0100 @@ -18,7 +18,6 @@ \newcommand{\isasymAND}{\isakeyword{and}} \newcommand{\isasymIS}{\isakeyword{is}} \newcommand{\isasymWHERE}{\isakeyword{where}} -\newcommand{\isasymDEFINING}{\isakeyword{defining}} \newcommand{\isasymBEGIN}{\isakeyword{begin}} \newcommand{\isasymIMPORTS}{\isakeyword{imports}} \newcommand{\isasymIN}{\isakeyword{in}}