--- a/lib/texinputs/isabelle.sty Fri Nov 06 23:31:11 2015 +0100
+++ b/lib/texinputs/isabelle.sty Fri Nov 06 23:31:50 2015 +0100
@@ -39,11 +39,6 @@
\DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
-\def\isactrlnoindent{\noindent}
-\def\isactrlsmallskip{\smallskip}
-\def\isactrlmedskip{\medskip}
-\def\isactrlbigskip{\bigskip}
-
\newcommand{\isaantiqcontrol}[1]{\isatt{{\char`\\}{\char`\<}{\char`\^}#1{\char`\>}}}
\newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}