1.1 --- a/lib/texinputs/isabelle.sty	Thu Sep 21 15:58:13 2000 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Sep 21 18:33:48 2000 +0200
     1.3 @@ -131,6 +131,7 @@
     1.4  \renewcommand{\isacharbraceleft}{\emph{$\{$}}%
     1.5  \renewcommand{\isacharbar}{\emph{$\mid$}}%
     1.6  \renewcommand{\isacharbraceright}{\emph{$\}$}}%
     1.7 +\renewcommand{\isachartilde}{\emph{${}^\sim$}}%
     1.8  }
     1.9  
    1.10  \newcommand{\isabellestylesl}{%