lib/texinputs/isabelle.sty
changeset 53167 4e7ddd76e632
parent 53021 d0fa3f446b9d
child 55033 8e8243975860
     1.1 --- a/lib/texinputs/isabelle.sty	Fri Aug 23 15:04:00 2013 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Aug 23 15:36:54 2013 +0200
     1.3 @@ -37,8 +37,6 @@
     1.4  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     1.5  
     1.6  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
     1.7 -\newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}}
     1.8 -\newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}}
     1.9  
    1.10  \newdimen\isa@parindent\newdimen\isa@parskip
    1.11