From d732f18fcfad440e13a34ead6600ba06c02f9b99 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 1 Jan 2011 17:35:09 +0000
Subject: Annual ChangeLog rotation

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

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

diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet
index 7290f770..2ac22b9f 100644
--- a/src/algebra/list.spad.pamphlet
+++ b/src/algebra/list.spad.pamphlet
@@ -268,9 +268,13 @@ List(S:Type): Exports == Implementation where
 
  Implementation ==>
    IndexedList(S, LISTMININDEX) add
-      nil                      == NIL$Lisp
-      null l                   == NULL(l)$Lisp
-      cons(s, l)               == CONS(s, l)$Lisp
+      import %nil: %                 from Foreign Builtin
+      import %peq: (%,%) -> Boolean  from Foreign Builtin
+      import %makepair: (S,%) -> S   from Foreign Builtin
+
+      nil                      == %nil
+      null l                   == %peq(l,%nil)
+      cons(s, l)               == %makepair(s,l)
       append(l:%, t:%)         == APPEND(l, t)$Lisp
 
       if S has OpenMath then
-- 
cgit v1.2.3