--- a/lib/texinputs/isabellesym.sty Fri Jan 12 20:19:59 2018 +0100
+++ b/lib/texinputs/isabellesym.sty Sat Jan 13 11:22:46 2018 +0100
@@ -368,6 +368,7 @@
\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
\newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
+\newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
\newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
\newcommand{\isactrlclass}{\isakeywordcontrol{class}}
\newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}