round-trip/gold/axioms.lisp

1048                   '"KEYWORD")
1292                                      LISTEN ISQRT LISTP KEYWORD LOAD KEYWORDP
1506      KEYWORD-PACKAGE
1510                              '"KEYWORD")
1514                      '"KEYWORD")))
2836 (DEFUN KEYWORD-VALUE-LISTP (L)
2841                    (KEYWORD-VALUE-LISTP (CDR (CDR L)))
2845 (DEFTHM KEYWORD-VALUE-LISTP-FORWARD-TO-TRUE-LISTP
2846         (IMPLIES (KEYWORD-VALUE-LISTP X)
2849 (DEFUN ASSOC-KEYWORD (KEY L)
2853                L (ASSOC-KEYWORD KEY (CDR (CDR L))))))
2855 (DEFTHM KEYWORD-VALUE-LISTP-ASSOC-KEYWORD
2856         (IMPLIES (KEYWORD-VALUE-LISTP L)
2857                  (KEYWORD-VALUE-LISTP (ASSOC-KEYWORD KEY L))))
2872      (HEADER-KEYWORD-LIST L)
2874       (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
2893        (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2894                                 HEADER-KEYWORD-LIST)))
2895        (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2896                                 HEADER-KEYWORD-LIST)))
2913      (KEYWORD-VALUE-LISTP (CDR (ASSOC-EQ ':HEADER L)))
2915       (TRUE-LISTP (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2919             (LENGTH (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2924              (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2927          (INTEGERP (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2931              (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2934            (< (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2936               (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2940                     (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2944                (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2962            (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2964         (IF (< (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2966                (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2969                     (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3033      (HEADER-KEYWORD-LIST L)
3035       (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
3064        (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3065                                 HEADER-KEYWORD-LIST)))
3066        (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3067                                 HEADER-KEYWORD-LIST)))
3084      (KEYWORD-VALUE-LISTP (CDR (ASSOC-EQ ':HEADER L)))
3086       (TRUE-LISTP (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3090             (LENGTH (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3095              (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3100               (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3103           (INTEGERP (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3107               (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3113               (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3118                (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3122                    (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3124               (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3129                     (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3133                (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3137                    (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3158       (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3162        (CAR (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3167          (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3169          (CAR (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3171       (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3174              (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3183        (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3187        (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3191        (CAR (CDR (ASSOC-KEYWORD ':DEFAULT
3235         (ASSOC-KEYWORD ':ORDER (CDR HEADER))))
3275                (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3932                                   CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4067             (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
4310                                   CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4445             (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
4686                                   CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4821             (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5069                            CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
5203      (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5371                            CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
5505      (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5551      (LD-KEYWORD-ALIASES)
8178     SPLICE-KEYWORD-ALIST
8179     (KEY NEW-SEGMENT KEYWORD-ALIST)
8180     (IF (ENDP KEYWORD-ALIST)
8182         (IF (EQ KEY (CAR KEYWORD-ALIST))
8183             (BINARY-APPEND NEW-SEGMENT (CDR (CDR KEYWORD-ALIST)))
8184             (CONS (CAR KEYWORD-ALIST)
8185                   (CONS (CAR (CDR KEYWORD-ALIST))
8186                         (SPLICE-KEYWORD-ALIST KEY NEW-SEGMENT
8187                                               (CDR (CDR KEYWORD-ALIST))))))))