From 205e00352c8372e5a4bf59cde160dea017295b6e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 25 Apr 2009 17:20:33 +0000
Subject: 	* algebra/strap/PRIMARR.lsp: Remove.

---
 src/algebra/syntax.spad.pamphlet | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index acbf8892..20396e7e 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -563,10 +563,11 @@ Literal(T: SetCategory): Public == Private where
 )abbrev domain IDENT Identifier
 Identifier(): Public == Private where
   Public == Join(SetCategory, CoercibleTo Symbol) with
-    new: () -> %  ++ returns a new identifier, different from 
-                  ++ any other identifier in the running system
+    gensym: () -> %  
+      ++ \spad{gensym()} returns a new identifier, different from 
+      ++ any other identifier in the running system
   Private == add
-    new() == GENSYM()$Foreign(Builtin)
+    gensym() == GENSYM()$Foreign(Builtin)
     x = y == EQ(x,y)$Lisp
     coerce(x: %): Symbol == x : Symbol
     coerce(x: %): OutputForm == x : OutputForm
-- 
cgit v1.2.3