*** empty log message ***
authorwenzelm
Mon Oct 08 14:19:22 2001 +0200 (2001-10-08)
changeset 11709f4d287d924bb
parent 11708 d27253c4594f
child 11710 f5401162c9f0
*** empty log message ***
doc-src/TutorialI/isabellesym.sty
     1.1 --- a/doc-src/TutorialI/isabellesym.sty	Mon Oct 08 12:28:43 2001 +0200
     1.2 +++ b/doc-src/TutorialI/isabellesym.sty	Mon Oct 08 14:19:22 2001 +0200
     1.3 @@ -209,8 +209,8 @@
     1.4  \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
     1.5  \newcommand{\isasymturnstile}{\isamath{\vdash}}
     1.6  \newcommand{\isasymTurnstile}{\isamath{\models}}
     1.7 -\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\vdash}}
     1.8 -\newcommand{\isasymtturnstile}{\isamath{\mid\models}}
     1.9 +\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}}
    1.10 +\newcommand{\isasymTTurnstile}{\isamath{\mid\!\models}}
    1.11  \newcommand{\isasymstileturn}{\isamath{\dashv}}
    1.12  \newcommand{\isasymsurd}{\isamath{\surd}}
    1.13  \newcommand{\isasymle}{\isamath{\le}}