# HG changeset patch
# User wenzelm
# Date 971905189 -7200
# Node ID 6c31c8bb78e86cec2362800095aa4b1b9a9ac846
# Parent  93ec82d535f22c617b9b613b125de81589360fd8
avoid "_" and "^" (more robust);

diff -r 93ec82d535f2 -r 6c31c8bb78e8 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Wed Oct 18 23:39:19 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Wed Oct 18 23:39:49 2000 +0200
@@ -23,8 +23,8 @@
 \newcommand{\isamath}[1]{\emph{$#1$}}
 \newcommand{\isatext}[1]{\emph{#1}}
 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
-\newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}_{#1}$}}
-\newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}^{#1}$}}
+\newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
+\newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 
 \newdimen\isa@parindent\newdimen\isa@parskip
 
@@ -141,7 +141,7 @@
 \renewcommand{\isacharbraceleft}{\isamath{\{}}%
 \renewcommand{\isacharbar}{\isamath{\mid}}%
 \renewcommand{\isacharbraceright}{\isamath{\}}}%
-\renewcommand{\isachartilde}{\isamath{{}^\sim}}%
+\renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}%
 }
 
 \newcommand{\isabellestylesl}{%