--- a/lib/texinputs/isabelle.sty Sun Jun 19 14:36:06 2011 +0200
+++ b/lib/texinputs/isabelle.sty Sun Jun 19 15:22:58 2011 +0200
@@ -37,7 +37,6 @@
\DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isaspacing\isastylescript}
\DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
-\newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}}
\newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
\newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}}