--- a/src/Doc/Isar_Ref/document/style.sty Sun Feb 14 16:29:30 2016 +0100
+++ b/src/Doc/Isar_Ref/document/style.sty Sun Feb 14 16:30:27 2016 +0100
@@ -18,9 +18,6 @@
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
\renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}}
-\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
-
-
%% ML
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}