updated;
authorwenzelm
Tue Sep 26 18:23:29 2000 +0200 (2000-09-26)
changeset 1008939f94bf02706
parent 10088 fe198ae54aa5
child 10090 36d1218b58f4
updated;
doc-src/TutorialI/isabelle.sty
     1.1 --- a/doc-src/TutorialI/isabelle.sty	Tue Sep 26 18:15:21 2000 +0200
     1.2 +++ b/doc-src/TutorialI/isabelle.sty	Tue Sep 26 18:23:29 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}{%