# HG changeset patch
# User nipkow
# Date 1113214488 -7200
# Node ID 3c49dbece0a8077af3c63004c0db6df5786b1e0d
# Parent  3a67e61c6e966a29160a266c76cfa35f35411f8c
added \restriction

diff -r 3a67e61c6e96 -r 3c49dbece0a8 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Mon Apr 11 12:14:23 2005 +0200
+++ b/lib/texinputs/isabellesym.sty	Mon Apr 11 12:14:48 2005 +0200
@@ -187,6 +187,7 @@
 \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}}