updated;
authorwenzelm
Tue Sep 26 18:15:21 2000 +0200 (2000-09-26)
changeset 10088fe198ae54aa5
parent 10087 4dc7edfb0b5f
child 10089 39f94bf02706
updated;
doc-src/AxClass/generated/isabelle.sty
     1.1 --- a/doc-src/AxClass/generated/isabelle.sty	Tue Sep 26 18:09:38 2000 +0200
     1.2 +++ b/doc-src/AxClass/generated/isabelle.sty	Tue Sep 26 18:15:21 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}{%