Lines Matching defs:LIST
45 (DEFUN LIST-MACRO (LST)
49 (CONS (LIST-MACRO (CDR LST)) 'NIL)))
89 (DEFUN LENGTH (X) (IF (STRINGP X) (LEN (COERCE X 'LIST)) (LEN X)))
162 (DEFUN MAKE-CHARACTER-LIST (X)
167 (MAKE-CHARACTER-LIST (CDR X)))
169 (MAKE-CHARACTER-LIST (CDR X))))))
350 (DEFUN CHAR (S N) (NTH N (COERCE S 'LIST)))
646 (EQUAL (COERCE (COERCE X 'STRING) 'LIST)
651 (EQUAL (COERCE (COERCE X 'LIST) 'STRING)
654 (DEFAXIOM CHARACTER-LISTP-COERCE (CHARACTER-LISTP (COERCE STR 'LIST)))
798 (COERCE (STRING-DOWNCASE1 (COERCE X 'LIST))
810 (DEFUN STRING-UPCASE (X) (COERCE (STRING-UPCASE1 (COERCE X 'LIST)) 'STRING))
938 (IF (STANDARD-CHAR-LISTP (COERCE (CAR (CAR X)) 'LIST))
1020 (DEFUN LIST*-MACRO (LST)
1025 (CONS (LIST*-MACRO (CDR LST)) 'NIL)))))
1166 APROPOS BIT-IOR CAAAAR APROPOS-LIST
1224 COPY-ALIST DEFVAR CHARACTERP COPY-LIST
1288 INTERSECTION LIST INVALID-METHOD-ERROR
1289 LIST* INVOKE-DEBUGGER
1290 LIST-ALL-PACKAGES INVOKE-RESTART
1291 LIST-LENGTH INVOKE-RESTART-INTERACTIVELY
1295 LAMBDA LOCALLY LAMBDA-LIST-KEYWORDS
1337 MISMATCH MAKE-LIST MOD MAKE-LOAD-FORM
1355 MAKUNBOUND MULTIPLE-VALUE-LIST
1366 NOTANY PACKAGE-USE-LIST NOTEVERY
1367 PACKAGE-USED-BY-LIST NOTINLINE PACKAGEP
1383 OPEN PPRINT-EXIT-IF-LIST-EXHAUSTED
1390 PRIN1 READ-DELIMITED-LIST
1468 TRUNCATE VALUES-LIST TWO-WAY-STREAM
1569 (MUST-BE-EQUAL (COERCE (BINARY-APPEND (COERCE STR1 'LIST)
1570 (COERCE STR2 'LIST))
1651 (COERCE (REMOVE-DUPLICATES-EQL (COERCE L 'LIST))
1676 (COERCE (REVAPPEND (COERCE X 'LIST) 'NIL)
1819 (DEFUN DEFUND-NAME-LIST (DEFUNS ACC)
1822 (DEFUND-NAME-LIST (CDR DEFUNS)
1854 (CONS (CONS 'LIST
1926 (DEFUN PSEUDO-TERM-LIST-LISTP (L)
1930 (PSEUDO-TERM-LIST-LISTP (CDR L))
2065 (DEFUN CASE-LIST (X L)
2075 (CASE-LIST X (CDR L))
2078 (CASE-LIST X (CDR L)))))))
2081 CASE-LIST-CHECK (L)
2094 (CASE-LIST-CHECK (CDR L))
2101 (CASE-LIST-CHECK (CDR L)))))))
2121 (POSITION-AC ITEM (COERCE LST 'LIST) '0)
2136 (POSITION-AC ITEM (COERCE LST 'LIST) '0)
2148 (DEFUN TRUE-LIST-LISTP (X)
2152 (TRUE-LIST-LISTP (CDR X))
2155 (DEFTHM TRUE-LIST-LISTP-FORWARD-TO-TRUE-LISTP
2156 (IMPLIES (TRUE-LIST-LISTP X)
2204 (DEFUN SYMBOL-LIST-LISTP (X)
2208 (SYMBOL-LIST-LISTP (CDR X))
2511 (STRING<-L (COERCE STR1 'LIST)
2512 (COERCE STR2 'LIST)
2554 (COERCE (SUBSTITUTE-AC NEW OLD (COERCE SEQ 'LIST)
2872 (HEADER-KEYWORD-LIST L)
2874 (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
2894 HEADER-KEYWORD-LIST)))
2896 HEADER-KEYWORD-LIST)))
3033 (HEADER-KEYWORD-LIST L)
3035 (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
3065 HEADER-KEYWORD-LIST)))
3067 HEADER-KEYWORD-LIST)))
3372 (DEFUN MV-LIST (INPUT-ARITY X) X)
3477 (DEFUN LIST-ALL-PACKAGE-NAMES-LST (ST) (NTH '13 ST))
3479 (DEFUN UPDATE-LIST-ALL-PACKAGE-NAMES-LST (X ST) (UPDATE-NTH '13 X ST))
3528 (DEFTHM KNOWN-PACKAGE-ALISTP-FORWARD-TO-TRUE-LIST-LISTP-AND-ALISTP
3530 (IF (TRUE-LIST-LISTP X)
3545 (DEFTHM TIMER-ALISTP-FORWARD-TO-TRUE-LIST-LISTP-AND-SYMBOL-ALISTP
3547 (IF (TRUE-LIST-LISTP X)
3616 (TRUE-LIST-LISTP X)
3658 (DEFTHM READABLE-FILES-LISTP-FORWARD-TO-TRUE-LIST-LISTP-AND-ALISTP
3660 (IF (TRUE-LIST-LISTP X)
3707 (DEFTHM WRITTEN-FILE-LISTP-FORWARD-TO-TRUE-LIST-LISTP-AND-ALISTP
3709 (IF (TRUE-LIST-LISTP X)
3744 (DEFTHM READ-FILE-LISTP-FORWARD-TO-TRUE-LIST-LISTP
3746 (TRUE-LIST-LISTP X)))
3777 (DEFTHM WRITABLE-FILE-LISTP-FORWARD-TO-TRUE-LIST-LISTP
3779 (TRUE-LIST-LISTP X)))
3881 EXTEND-T-STACK LIST-ALL-PACKAGE-NAMES
3893 PRINT-OBJECT$ EC-CALL PROG2$ MV-LIST
3912 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
3913 OR-LIST RANDOM$ THROW-NONEXEC-ERROR
3965 CDDADR CDDDAR CDDDDR REST MAKE-LIST LIST
3969 LIST* APPEND DEFCONST IN-PACKAGE INTERN
4043 GET-DECLAIM-LIST PATHNAME-UNIX-TO-OS
4139 (IF (TRUE-LIST-LISTP (LIST-ALL-PACKAGE-NAMES-LST X))
4259 EXTEND-T-STACK LIST-ALL-PACKAGE-NAMES
4271 PRINT-OBJECT$ EC-CALL PROG2$ MV-LIST
4290 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
4291 OR-LIST RANDOM$ THROW-NONEXEC-ERROR
4343 CDDADR CDDDAR CDDDDR REST MAKE-LIST LIST
4347 LIST* APPEND DEFCONST IN-PACKAGE INTERN
4421 GET-DECLAIM-LIST PATHNAME-UNIX-TO-OS
4510 (IF (TRUE-LIST-LISTP (NTH '13 X))
4547 LIST-ALL-PACKAGE-NAMES-LST
4635 EXTEND-T-STACK LIST-ALL-PACKAGE-NAMES
4647 PRINT-OBJECT$ EC-CALL PROG2$ MV-LIST
4666 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
4667 OR-LIST RANDOM$ THROW-NONEXEC-ERROR
4719 CDDADR CDDDAR CDDDDR REST MAKE-LIST LIST
4723 LIST* APPEND DEFCONST IN-PACKAGE INTERN
4797 GET-DECLAIM-LIST PATHNAME-UNIX-TO-OS
4882 (CONS LIST-ALL-PACKAGE-NAMES-LST
5018 EXTEND-T-STACK LIST-ALL-PACKAGE-NAMES
5030 PRINT-OBJECT$ EC-CALL PROG2$ MV-LIST
5049 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
5050 OR-LIST RANDOM$ THROW-NONEXEC-ERROR
5102 CDDADR CDDDAR CDDDDR REST MAKE-LIST LIST
5106 LIST* APPEND DEFCONST IN-PACKAGE INTERN
5179 GET-DECLAIM-LIST PATHNAME-UNIX-TO-OS
5320 EXTEND-T-STACK LIST-ALL-PACKAGE-NAMES
5332 PRINT-OBJECT$ EC-CALL PROG2$ MV-LIST
5351 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
5352 OR-LIST RANDOM$ THROW-NONEXEC-ERROR
5404 CDDADR CDDDAR CDDDDR REST MAKE-LIST LIST
5408 LIST* APPEND DEFCONST IN-PACKAGE INTERN
5481 GET-DECLAIM-LIST PATHNAME-UNIX-TO-OS
5592 (CONS 'LIST
5605 (CONS (CONS 'LIST
6053 (COERCE X 'LIST)
6054 (COERCE (SYMBOL-NAME X) 'LIST))))))
6056 (DEFTHM TRUE-LIST-LISTP-FORWARD-TO-TRUE-LISTP-ASSOC-EQ
6057 (IMPLIES (TRUE-LIST-LISTP L)
6216 'LIST)
6251 (COERCE (BINARY-APPEND (COERCE FILE-NAME 'LIST)
6258 (COERCE (BINARY-APPEND (COERCE FILE-NAME 'LIST)
6551 (PRIN1-WITH-SLASHES1 (COERCE S 'LIST)
6636 (COERCE X 'LIST)
6650 (DEFUN MAKE-LIST-AC (N VAL AC)
6653 (MAKE-LIST-AC (BINARY-+ '-1 N)
6658 (MAKE-LIST-AC N VAL 'NIL))
6661 (DEFUN SUBSEQ-LIST (LST START END)
6667 (COERCE (SUBSEQ-LIST (COERCE SEQ 'LIST)
6670 (SUBSEQ-LIST SEQ START (IF END END (LENGTH SEQ)))))
6713 (MAKE-LIST-AC N VAL 'NIL))
6746 (DEFUN LIST-ALL-PACKAGE-NAMES (STATE-STATE)
6747 (CONS (CAR (LIST-ALL-PACKAGE-NAMES-LST STATE-STATE))
6748 (CONS (UPDATE-LIST-ALL-PACKAGE-NAMES-LST
6749 (CDR (LIST-ALL-PACKAGE-NAMES-LST STATE-STATE))
7067 (COERCE X 'LIST)
7147 (DEFTHM TRUE-LIST-LISTP-FORWARD-TO-TRUE-LISTP-ASSOC-EQUAL
7148 (IMPLIES (TRUE-LIST-LISTP L)
7179 (MAKE-VAR-LST1 (COERCE (SYMBOL-NAME SYM) 'LIST)
7474 (DEFUN FIX-TRUE-LIST (X)
7476 (CONS (CAR X) (FIX-TRUE-LIST (CDR X)))
7479 (DEFTHM PAIRLIS$-FIX-TRUE-LIST
7480 (EQUAL (PAIRLIS$ X (FIX-TRUE-LIST Y))
7638 (IF (EQUAL Y 'LIST)
7639 (IF (STRINGP X) (COERCE X 'LIST) 'NIL)
7640 (COERCE (MAKE-CHARACTER-LIST X)
7645 (EQUAL (COERCE X 'LIST) 'NIL)))
7647 (DEFTHM MAKE-CHARACTER-LIST-MAKE-CHARACTER-LIST
7648 (EQUAL (MAKE-CHARACTER-LIST (MAKE-CHARACTER-LIST X))
7649 (MAKE-CHARACTER-LIST X)))
7655 (NOT (EQUAL Y 'LIST))
7832 (COERCE '"Access " 'LIST)
7833 (BINARY-APPEND (COERCE (SYMBOL-NAME NAME) 'LIST)
7834 (BINARY-APPEND (COERCE '" record field " 'LIST)
7835 (COERCE (SYMBOL-NAME FIELD) 'LIST))))
8097 (DEFUN RESIZE-LIST (LST N DEFAULT-VALUE)
8100 (RESIZE-LIST (IF (ATOM LST) LST (CDR LST))
8106 E/D-FN (THEORY E/D-LIST ENABLE-P)
8107 (IF (ATOM E/D-LIST)
8112 (CONS (CONS 'QUOTE (CONS (CAR E/D-LIST) 'NIL))
8114 (CDR E/D-LIST)
8118 (CONS (CONS 'QUOTE (CONS (CAR E/D-LIST) 'NIL))
8120 (CDR E/D-LIST)
8164 (DEFUN DISJOIN-LST (CLAUSE-LIST)
8165 (IF (ENDP CLAUSE-LIST)
8167 (CONS (DISJOIN (CAR CLAUSE-LIST))
8168 (DISJOIN-LST (CDR CLAUSE-LIST)))))
8170 (DEFUN CONJOIN-CLAUSES (CLAUSE-LIST) (CONJOIN (DISJOIN-LST CLAUSE-LIST)))
8208 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))
8209 (STANDARD-CHAR-LISTP (COERCE SEQ2 'LIST))
8211 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))
8212 (STANDARD-CHAR-LISTP (COERCE SEQ2 'LIST))
8221 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))