# HG changeset patch
# User paulson
# Date 1113229553 -7200
# Node ID 95deeda57341faef6f8c845c5715cf34c1c2a8d5
# Parent  681bcb7f03892d1f0a9f2053dcd50f0a3e282174
auto update

diff -r 681bcb7f0389 -r 95deeda57341 doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Mon Apr 11 16:25:31 2005 +0200
+++ b/doc-src/TutorialI/isabellesym.sty	Mon Apr 11 16:25:53 2005 +0200
@@ -183,6 +183,11 @@
 \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
+\newcommand{\isasymdownharpoonleft}{\isamath{\downharpoonleft}}  %requires amssymb
+\newcommand{\isasymdownharpoonright}{\isamath{\downharpoonright}}  %requires amssymb
+\newcommand{\isasymupharpoonleft}{\isamath{\upharpoonleft}}  %requires amssymb
+\newcommand{\isasymupharpoonright}{\isamath{\upharpoonright}}  %requires amssymb
+\newcommand{\isasymrestriction}{\isamath{\restriction}}  %requires amssymb
 \newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires amssymb
 \newcommand{\isasymup}{\isamath{\uparrow}}
 \newcommand{\isasymUp}{\isamath{\Uparrow}}