blob: 8b73869f595d6896cf335b80cb7aeddde389a894 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(in-package "LIST")
;rough draft of this list. what should it include? (should it include the theorem names too? any missing function names?):
(defconst *exports*
(list 'v0
'v1
'v2
'v3
'v4
'met
'val
'list-fix
'final-cdr
'cdddddr
'cddddddr
'caddddddr
'cadddddr
'caddddr
))
|