--- a/src/Doc/isar.sty Thu May 20 21:21:37 2021 +0200
+++ b/src/Doc/isar.sty Thu May 20 22:02:19 2021 +0200
@@ -9,8 +9,6 @@
\newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}}
\newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}}
-\newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}}
-
\newcommand{\isasymIF}{\isakeyword{if}}
\newcommand{\isasymFOR}{\isakeyword{for}}
\newcommand{\isasymAND}{\isakeyword{and}}