# HG changeset patch
# User wenzelm
# Date 1002543562 -7200
# Node ID f4d287d924bb69bf5e452f76162a56b0f2c8bbb1
# Parent  d27253c4594f41407c567cdb7a229bb9ea114723
*** empty log message ***

diff -r d27253c4594f -r f4d287d924bb doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Mon Oct 08 12:28:43 2001 +0200
+++ b/doc-src/TutorialI/isabellesym.sty	Mon Oct 08 14:19:22 2001 +0200
@@ -209,8 +209,8 @@
 \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
 \newcommand{\isasymturnstile}{\isamath{\vdash}}
 \newcommand{\isasymTurnstile}{\isamath{\models}}
-\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\vdash}}
-\newcommand{\isasymtturnstile}{\isamath{\mid\models}}
+\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}}
+\newcommand{\isasymTTurnstile}{\isamath{\mid\!\models}}
 \newcommand{\isasymstileturn}{\isamath{\dashv}}
 \newcommand{\isasymsurd}{\isamath{\surd}}
 \newcommand{\isasymle}{\isamath{\le}}