diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-01 17:35:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-01 17:35:09 +0000 |
| commit | d732f18fcfad440e13a34ead6600ba06c02f9b99 (patch) | |
| tree | 9e1b23bab9a01f69a07c46e16128d472ba3665b2 /src/algebra/list.spad.pamphlet | |
| parent | b06db52e69e3a7b7f4bd90ac129ea369be45284a (diff) | |
| download | open-axiom-d732f18fcfad440e13a34ead6600ba06c02f9b99.tar.gz | |
Annual ChangeLog rotation
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
| -rw-r--r-- | src/algebra/list.spad.pamphlet | 10 |
1 files changed, 7 insertions, 3 deletions
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 |