From 7bd82b57975bbc1ff5b87fed0739815c620ecdcc Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 11 Jun 2009 21:51:23 +0000
Subject: 	* algebra/: Remove quotes from operator namaes in signatures.

---
 src/algebra/pattern.spad.pamphlet | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/algebra/pattern.spad.pamphlet')

diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet
index 031c6167..a0e4c3a0 100644
--- a/src/algebra/pattern.spad.pamphlet
+++ b/src/algebra/pattern.spad.pamphlet
@@ -80,15 +80,15 @@ Pattern(R:SetCategory): Exports == Implementation where
       ++ "failed" otherwise.
     elt          : (BOP, List %) -> %
       ++ \spad{elt(op, [a1,...,an])} returns \spad{op(a1,...,an)}.
-    "+"          : (%, %) -> %
+    +          : (%, %) -> %
       ++ \spad{a + b} returns the pattern \spad{a + b}.
-    "*"          : (%, %) -> %
+    *          : (%, %) -> %
       ++ \spad{a * b} returns the pattern \spad{a * b}.
-    "**"         : (%, NonNegativeInteger) -> %
+    **         : (%, NonNegativeInteger) -> %
       ++ \spad{a ** n} returns the pattern \spad{a ** n}.
-    "**"         : (%, %) -> %
+    **         : (%, %) -> %
       ++ \spad{a ** b} returns the pattern \spad{a ** b}.
-    "/"          : (%, %) -> %
+    /          : (%, %) -> %
       ++ \spad{a / b} returns the pattern \spad{a / b}.
     depth        : % -> NonNegativeInteger
       ++ depth(p) returns the nesting level of p.
-- 
cgit v1.2.3