# HG changeset patch
# User wenzelm
# Date 1162759480 -3600
# Node ID 50eca91d8699577d280d256faed17301cfde92cd
# Parent  35baf14cfb6df0fed043b542af1849318fb8b7e9
removed isactrlconst;

diff -r 35baf14cfb6d -r 50eca91d8699 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sun Nov 05 21:44:39 2006 +0100
+++ b/lib/texinputs/isabelle.sty	Sun Nov 05 21:44:40 2006 +0100
@@ -31,7 +31,6 @@
 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup}
 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}}
-\newcommand{\isactrlconst}{}
 
 
 \newdimen\isa@parindent\newdimen\isa@parskip