--- a/lib/texinputs/isabelle.sty Wed Oct 14 14:15:13 2015 +0200
+++ b/lib/texinputs/isabelle.sty Wed Oct 14 14:21:00 2015 +0200
@@ -39,11 +39,13 @@
\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}
\def\isactrlitem{\item}
\def\isactrlenum{\item}
+\def\isactrldescr{\item}
\newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}