
(DEFPROP NIL-BIND-REF /13 JUST-VALUE) 
(DEFPROP LMMAN-REF /12 JUST-VALUE) 
(DEFPROP CGOL-REF /11 JUST-VALUE) 
(DEFPROP RFC868-REF /10 JUST-VALUE) 
(DEFPROP MOONUAL-REF /9 JUST-VALUE) 
(DEFPROP MACSYMA-REF /8 JUST-VALUE) 
(DEFPROP PRETTY-PRINT-REF /7 JUST-VALUE) 
(DEFPROP RFC833-REF /6 JUST-VALUE) 
(DEFPROP LOOP-REF /5 JUST-VALUE) 
(DEFPROP LSBMAN-REF /4 JUST-VALUE) 
(DEFPROP MACLISP-EXTENSIONS-REF /3 JUST-VALUE) 
(DEFPROP COMMONLISP-OVERVIEW-REF /2 JUST-VALUE) 
(DEFPROP COMMONLISP-REF /1 JUST-VALUE) 
(DEFPROP MULTIPLE-VALUES-BREAKING-SECTION-PAGE |section 29.2.4, page 281| JUST-VALUE) 
(DEFPROP SI:CONSTRUCT-SYSTEM-SYMBOL-TRAMPOLINE-FUN |page 279| JUST-VALUE) 
(DEFPROP SI:LOCATE-SYMBOL-TABLE-VALUE-FUN |page 279| JUST-VALUE) 
(DEFPROP SI:ENABLE-VMS-CALL-TRAMPOLINE-FUN |page 278| JUST-VALUE) 
(DEFPROP SI:HACK-VMS-OBJECT-FILE-FUN |page 278| JUST-VALUE) 
(DEFPROP SI:DEF-VMS-CALL-INTERFACE-FUN |page 278| JUST-VALUE) 
(DEFPROP SI:DEFSYSCALL-FUN |page 277| JUST-VALUE) 
(DEFPROP PLOT-FUN |page 276| JUST-VALUE) 
(DEFPROP MAKE-ECHO-AREA-STREAM-FUN |page 276| JUST-VALUE) 
(DEFPROP MAKE-3D-ORTHOGONAL-FUN |page 275| JUST-VALUE) 
(DEFPROP MAKE-ZCLIP-STREAM-FUN |page 275| JUST-VALUE) 
(DEFPROP DRAW-LINE-FUN |page 275| JUST-VALUE) 
(DEFPROP MAKE-GRAPHICS-STREAM-FUN |page 275| JUST-VALUE) 
(DEFPROP MAKE-GIGI-STREAM-FUN |page 275| JUST-VALUE) 
(DEFPROP MAKE-TEK-STREAM-FUN |page 275| JUST-VALUE) 
(DEFPROP *SIMPNOT-FUN |page 273| JUST-VALUE) 
(DEFPROP *SIMPANDLIST-FUN |page 273| JUST-VALUE) 
(DEFPROP *SIMPORLIST-FUN |page 273| JUST-VALUE) 
(DEFPROP *SIMPAND-FUN |page 273| JUST-VALUE) 
(DEFPROP *SIMPOR-FUN |page 273| JUST-VALUE) 
(DEFPROP SIMPANDLIST-FUN |page 272| JUST-VALUE) 
(DEFPROP SIMPORLIST-FUN |page 272| JUST-VALUE) 
(DEFPROP SIMPNOT-FUN |page 272| JUST-VALUE) 
(DEFPROP SIMPAND-FUN |page 272| JUST-VALUE) 
(DEFPROP SIMPOR-FUN |page 272| JUST-VALUE) 
(DEFPROP SIMP-FUN |page 272| JUST-VALUE) 
(DEFPROP SI:LISP-DEBUGGER-ON-EXCEPTIONS-VAR |page 267| JUST-VALUE) 
(DEFPROP PROCEED-NIL-FUN |page 266| JUST-VALUE) 
(DEFPROP EXIT-AND-RUN-PROGRAM-FUN |page 266| JUST-VALUE) 
(DEFPROP QUIT-FUN |page 266| JUST-VALUE) 
(DEFPROP VALRET-FUN |page 266| JUST-VALUE) 
(DEFPROP \\-VAR |page 265| JUST-VALUE) 
(DEFPROP +++-VAR |page 265| JUST-VALUE) 
(DEFPROP ++-VAR |page 265| JUST-VALUE) 
(DEFPROP +-VAR |page 265| JUST-VALUE) 
(DEFPROP ***-VAR |page 265| JUST-VALUE) 
(DEFPROP **-VAR |page 265| JUST-VALUE) 
(DEFPROP *-VAR |page 265| JUST-VALUE) 
(DEFPROP LSB-PATCH-SYSTEM-EXAMPLE |page 262| JUST-VALUE) 
(DEFPROP ENVIRONMENT-OPTIONS-PAGE |page 262| JUST-VALUE) 
(DEFPROP SI:INITIALIZE-PATCH-SYSTEM-FUN |page 261| JUST-VALUE) 
(DEFPROP SI:NEW-PATCH-SYSTEM-FUN |page 261| JUST-VALUE) 
(DEFPROP DEFINING-PATCH-SYSTEMS-CSS-NUMBER |25.4| JUST-VALUE) 
(DEFPROP SI:SET-SYSTEM-STATUS-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:SET-PATCH-ENVIRONMENT-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:ABORT-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:FINISH-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:COMPILE-LOAD-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:COMPILE-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:RE-EDIT-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:ADD-PATCH-FUN |page 260| JUST-VALUE) 
(DEFPROP SI:UPDATE-SYSTEM-STATUSES?-FUN |page 259| JUST-VALUE) 
(DEFPROP SI:PRINT-HERALD-FUN |page 259| JUST-VALUE) 
(DEFPROP SI:GET-SYSTEM-VERSION-LIST-FUN |page 259| JUST-VALUE) 
(DEFPROP SI:GET-SYSTEM-VERSION-FUN |page 259| JUST-VALUE) 
(DEFPROP SI:SYSTEM-VERSION-INFO-FUN |page 259| JUST-VALUE) 
(DEFPROP PRINT-SYSTEM-HISTORY-FUN |page 258| JUST-VALUE) 
(DEFPROP PRINT-SYSTEM-MODIFICATIONS-FUN |page 258| JUST-VALUE) 
(DEFPROP LOAD-PATCHES-FUN |page 258| JUST-VALUE) 
(DEFPROP STEVE:READ-BUFFER-NAME-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:READ-FILE-NAME-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:MX-PROMPTER-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:OVERWRITE-DONE-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:OVERWRITE-TERPRI-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:OVERWRITE-HOME-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:OVERWRITE-START-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:SETUP-MODE-AREA-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:MAKE-SCREEN-IMAGE-FUN |page 256| JUST-VALUE) 
(DEFPROP STEVE:NOT-LAST-LINE-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:NOT-FIRST-LINE-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:NOT-BUFFER-END-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:NOT-BUFFER-BEGIN-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:LAST-LINE?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:FIRST-LINE?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:BUFFER-END?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:BUFFER-BEGIN?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:REAL-ARG-SUP?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:C-U-ONLY?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:ARGUMENT?-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:*EDITOR-DEVICE-MODE*-VAR |page 255| JUST-VALUE) 
(DEFPROP STEVE:WITH-NO-PASSALL-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:ED-WARNING-FUN |page 255| JUST-VALUE) 
(DEFPROP STEVE:ED-WARN-FUN |page 254| JUST-VALUE) 
(DEFPROP STEVE:ED-LOSE-FUN |page 254| JUST-VALUE) 
(DEFPROP STEVE:SAVE-ALL-FILES-FUN |page 254| JUST-VALUE) 
(DEFPROP BP-GET-CHAR-BACKWARD-METHOD |page 254| JUST-VALUE) 
(DEFPROP BP-PEEK-CHAR-BACKWARD-METHOD |page 254| JUST-VALUE) 
(DEFPROP BP-GET-CHAR-FORWARD-METHOD |page 254| JUST-VALUE) 
(DEFPROP BP-GET-CHAR-METHOD |page 254| JUST-VALUE) 
(DEFPROP BP-MOVE-METHOD |page 254| JUST-VALUE) 
(DEFPROP BP-ADVANCE-POS-METHOD |page 254| JUST-VALUE) 
(DEFPROP STEVE:NTH-PREVIOUS-LINE-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:NTH-NEXT-LINE-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:LINE-PREVIOUS-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:LINE-NEXT-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:SELECT-POINT-IN-CURRENT-WINDOW-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:SELECT-POINT-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:POINT-SELECTED-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:POINT-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:BUFFER-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:MAKE-LINE-FUN |page 253| JUST-VALUE) 
(DEFPROP STEVE:MAKE-BP-FUN |page 252| JUST-VALUE) 
(DEFPROP STEVE:EDITOR-DEFUN-KEY-FUN |page 252| JUST-VALUE) 
(DEFPROP STEVE:EDITOR-BIND-KEY-FUN |page 251| JUST-VALUE) 
(DEFPROP ED-FUN |page 226| JUST-VALUE) 
(DEFPROP COMPILER:*MESSAGES-TO-TERMINAL?-VAR |page 225| JUST-VALUE) 
(DEFPROP COMPILER:*OPEN-COMPILE-XREF-SWITCH-VAR |page 224| JUST-VALUE) 
(DEFPROP COMPILER:*OPEN-COMPILE-CARCDR-SWITCH-VAR |page 224| JUST-VALUE) 
(DEFPROP COMPILER-LET-FUN |page 223| JUST-VALUE) 
(DEFPROP COMPILE-FUN |page 223| JUST-VALUE) 
(DEFPROP COMFILE-FUN |page 223| JUST-VALUE) 
(DEFPROP COMPILE-FILE-FUN |page 222| JUST-VALUE) 
(DEFPROP DST_SITE-LOGICAL-NAME |page 219| JUST-VALUE) 
(DEFPROP TIME:*SYSTEM-TIME-KLUDGE*-VAR |page 219| JUST-VALUE) 
(DEFPROP VMS-TIME-BD-SECTION-PAGE |section 22.5.8, page 219| JUST-VALUE) 
(DEFPROP TIME:CONVERT-VMS-TIME-TO-UNIVERSAL-TIME-FUN |page 218| JUST-VALUE) 
(DEFPROP %CONVERT-D_FLOAT-TO-TIME-FUN |page 218| JUST-VALUE) 
(DEFPROP %CONVERT-TIME-TO-D_FLOAT-FUN |page 218| JUST-VALUE) 
(DEFPROP TIME:LAST-SUNDAY-IN-OCTOBER-FUN |page 218| JUST-VALUE) 
(DEFPROP TIME:LAST-SUNDAY-IN-APRIL-FUN |page 217| JUST-VALUE) 
(DEFPROP TIME:REGULAR-AMERICAN-DAYLIGHT-SAVINGS-TIME-P-FUN |page 217| JUST-VALUE) 
(DEFPROP TIME:ZONECONV-FUN |page 217| JUST-VALUE) 
(DEFPROP PATCHUP-DST-SECTION-PAGE |section 22.5.6, page 217| JUST-VALUE) 
(DEFPROP TIME:PRINT-CURRENT-MOONPHASE-FUN |page 217| JUST-VALUE) 
(DEFPROP TIME:PRINT-MOONPHASE-FUN |page 217| JUST-VALUE) 
(DEFPROP TIME:MOONPHASE-FUN |page 217| JUST-VALUE) 
(DEFPROP TIME:VERIFY-DATE-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:DAY-OF-THE-WEEK-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:DAYLIGHT-SAVINGS-TIME-P-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:MONTH-LENGTH-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:DAYLIGHT-SAVINGS-P-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:LEAP-YEAR-P-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:TIMEZONE-STRING-FUN |page 216| JUST-VALUE) 
(DEFPROP TIME:*TIMEZONE*-VAR |page 216| JUST-VALUE) 
(DEFPROP TIME:*DAY-OF-THE-WEEK-STRINGS*-VAR |page 215| JUST-VALUE) 
(DEFPROP TIME:*MONTH-STRINGS*-VAR |page 215| JUST-VALUE) 
(DEFPROP TIME:MODE-LANGUAGE-FETCH-FUN |page 215| JUST-VALUE) 
(DEFPROP TIME:DAY-OF-THE-WEEK-STRING-FUN |page 215| JUST-VALUE) 
(DEFPROP TIME:MONTH-STRING-FUN |page 215| JUST-VALUE) 
(DEFPROP TIME:*DEFAULT-MODE*-VAR |page 215| JUST-VALUE) 
(DEFPROP TIME:*DEFAULT-LANGUAGE*-VAR |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-CURRENT-MAIL-FORMAT-DATE-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-UNIVERSAL-MAIL-FORMAT-DATE-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-BRIEF-UNIVERSAL-TIME-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-UNIVERSAL-DATE-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-CURRENT-DATE-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-DATE-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-UNIVERSAL-TIME-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-CURRENT-TIME-FUN |page 214| JUST-VALUE) 
(DEFPROP TIME:PRINT-TIME-FUN |page 213| JUST-VALUE) 
(DEFPROP ENCODE-UNIVERSAL-TIME-FUN |page 213| JUST-VALUE) 
(DEFPROP DECODE-UNIVERSAL-TIME-FUN |page 213| JUST-VALUE) 
(DEFPROP GET-DECODED-TIME-FUN |page 213| JUST-VALUE) 
(DEFPROP GET-UNIVERSAL-TIME-FUN |page 213| JUST-VALUE) 
(DEFPROP TIME-PACKAGE-SECTION-PAGE |section 22.5, page 212| JUST-VALUE) 
(DEFPROP ROOM-FUN |page 212| JUST-VALUE) 
(DEFPROP SET-PRIVILEGES-FUN |page 211| JUST-VALUE) 
(DEFPROP GET-PRIVILEGES-FUN |page 211| JUST-VALUE) 
(DEFPROP STATUS-ENQUIRIES-SECTION-PAGE |section 22.2, page 211| JUST-VALUE) 
(DEFPROP LONG-SITE-NAME-FUN |page 210| JUST-VALUE) 
(DEFPROP SHORT-SITE-NAME-FUN |page 210| JUST-VALUE) 
(DEFPROP HOST-SOFTWARE-TYPE-FUN |page 210| JUST-VALUE) 
(DEFPROP MACHINE-INSTANCE-FUN |page 210| JUST-VALUE) 
(DEFPROP MACHINE-TYPE-FUN |page 210| JUST-VALUE) 
(DEFPROP LISP-IMPLEMENTATION-VERSION-FUN |page 210| JUST-VALUE) 
(DEFPROP LISP-IMPLEMENTATION-TYPE-FUN |page 210| JUST-VALUE) 
(DEFPROP CERROR-FUN |page 208| JUST-VALUE) 
(DEFPROP VERIFY-FUN |page 207| JUST-VALUE) 
(DEFPROP UTILS:PP-INTO-FILE-FUN |page 207| JUST-VALUE) 
(DEFPROP UTILS:PRINT-INTO-FILE-FUN |page 207| JUST-VALUE) 
(DEFPROP UTILS:VAS-SOURCE-NEEDS-RECOMPILE?-FUN |page 206| JUST-VALUE) 
(DEFPROP UTILS:SOURCE-NEED-COMPILE?-FUN |page 206| JUST-VALUE) 
(DEFPROP UTILS:VAS-SOURCE-FILE-FUN |page 206| JUST-VALUE) 
(DEFPROP SI:SUBTRACT-CALL-METERS-FUN |page 204| JUST-VALUE) 
(DEFPROP SI:SHOW-CALL-METERS-FUN |page 204| JUST-VALUE) 
(DEFPROP SI:GET-CALL-METERS-FUN |page 204| JUST-VALUE) 
(DEFPROP SI:PAGEFAULT-COUNT-FUN |page 203| JUST-VALUE) 
(DEFPROP TIME-FUN |page 202| JUST-VALUE) 
(DEFPROP ELAPSED-TIME-FUN |page 202| JUST-VALUE) 
(DEFPROP RUNTIME-FUN |page 202| JUST-VALUE) 
(DEFPROP GET-INTERNAL-REAL-TIME-FUN |page 202| JUST-VALUE) 
(DEFPROP GET-INTERNAL-RUN-TIME-FUN |page 202| JUST-VALUE) 
(DEFPROP INTERNAL-TIME-UNITS-PER-SECOND-VAR |page 202| JUST-VALUE) 
(DEFPROP TIMER-FUN |page 202| JUST-VALUE) 
(DEFPROP *BREAK-FUN |page 201| JUST-VALUE) 
(DEFPROP BREAK-FUN |page 201| JUST-VALUE) 
(DEFPROP DEBUG-FUN |page 201| JUST-VALUE) 
(DEFPROP DESCRIBE-FUN |page 201| JUST-VALUE) 
(DEFPROP EXHIBIT-FUN |page 201| JUST-VALUE) 
(DEFPROP SI:APROPOS-GENERATE-FUN |page 200| JUST-VALUE) 
(DEFPROP APROPOS-FUN |page 200| JUST-VALUE) 
(DEFPROP SI:MODULE-SOURCE-FILE-FUN |page 200| JUST-VALUE) 
(DEFPROP WHEREIS-FUN |page 200| JUST-VALUE) 
(DEFPROP WHO-CALLS-FUN |page 200| JUST-VALUE) 
(DEFPROP TRACE-FUN |page 199| JUST-VALUE) 
(DEFPROP CGOLPRINT-FUN |page 198| JUST-VALUE) 
(DEFPROP CGOLREAD-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ADD-PREFIX-OP-MACRO-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ADD-ESCAPE-CHAR-SYNTAX-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ADD-PACKAGE-SYNTAX-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ADD-LIST-SYNTAX-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ADD-NUMBER-SYNTAX-FUN |page 198| JUST-VALUE) 
(DEFPROP CREATE-READTABLE-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:ENTER-READTABLE-FUN |page 198| JUST-VALUE) 
(DEFPROP SI:LOOKUP-READTABLE-FUN |page 197| JUST-VALUE) 
(DEFPROP READTABLE-VAR |page 197| JUST-VALUE) 
(DEFPROP SETSYNTAX-SHARP-MACRO-FUN |page 197| JUST-VALUE) 
(DEFPROP SETSYNTAX-FUN |page 197| JUST-VALUE) 
(DEFPROP SI:DISPLAY-CURSORPOS-MIXIN-RAW-OUSTR-METHOD |page 191| JUST-VALUE) 
(DEFPROP SI:DISPLAY-CURSORPOS-MIXIN-WRITE-RAW-CHAR-METHOD |page 191| JUST-VALUE) 
(DEFPROP SI:DISPLAY-CURSORPOS-MIXIN-OUSTR-METHOD |page 191| JUST-VALUE) 
(DEFPROP SI:DISPLAY-CURSORPOS-MIXIN-WRITE-CHAR-METHOD |page 191| JUST-VALUE) 
(DEFPROP SI:DISPLAY-CURSORPOS-MIXIN-INIT-WITH-TERMCAP-METHOD |page 190| JUST-VALUE) 
(DEFPROP SI:DETERMINE-AND-SET-TERMINAL-TYPE-FUN |page 190| JUST-VALUE) 
(DEFPROP SET-TERMINAL-TYPE-FUN |page 190| JUST-VALUE) 
(DEFPROP CURSORPOS-FUN |page 188| JUST-VALUE) 
(DEFPROP SI:TRNLOG-FUN |page 188| JUST-VALUE) 
(DEFPROP SI:RMS$SETDDIR-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$SEARCH-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$RENAME-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$REMOVE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$PARSE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$ENTER-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$WRITE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$SPACE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$READ-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$WAIT-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$UPDATE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$TRUNC-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$REWIND-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$RELEASE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$PUT-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$NXTVOL-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$GET-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$FREE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$FLUSH-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$FIND-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$DISCONNECT-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$DELETE-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$CONNECT-FUN |page 187| JUST-VALUE) 
(DEFPROP SI:RMS$OPEN-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:RMS$EXTEND-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:RMS$ERASE-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:RMS$DISPLAY-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:RMS$CREATE-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:RMS$CLOSE-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:XAB-RESOURCE |page 186| JUST-VALUE) 
(DEFPROP SI:NAM-RESOURCE |page 186| JUST-VALUE) 
(DEFPROP SI:RAB-RESOURCE |page 186| JUST-VALUE) 
(DEFPROP SI:FAB-RESOURCE |page 186| JUST-VALUE) 
(DEFPROP SI:MAKE-XAB-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:MAKE-NAM-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:MAKE-RAB-FUN |page 186| JUST-VALUE) 
(DEFPROP SI:MAKE-FAB-FUN |page 186| JUST-VALUE) 
(DEFPROP FS:PROCESS-IN-LOAD-ENVIRONMENT-FUN |page 185| JUST-VALUE) 
(DEFPROP :FILE-PLIST-MESSAGE |page 185| JUST-VALUE) 
(DEFPROP FILE-PROPERTY-LIST-SECTION-PAGE |section 18.8.6, page 184| JUST-VALUE) 
(DEFPROP FILE-PLIST-SECTION-PAGE |section 18.8.6, page 184| JUST-VALUE) 
(DEFPROP FILE-ATTRIBUTE-LIST-SECTION-PAGE |section 18.8.6, page 184| JUST-VALUE) 
(DEFPROP FILE-ATTRIBUTE-SECTION-PAGE |section 18.8.6, page 184| JUST-VALUE) 
(DEFPROP LOAD-FUN |page 183| JUST-VALUE) 
(DEFPROP MAPALLFILES-FUN |page 182| JUST-VALUE) 
(DEFPROP ALLFILES-FUN |page 182| JUST-VALUE) 
(DEFPROP FILE-AUTHOR-FUN |page 182| JUST-VALUE) 
(DEFPROP FILE-CREATION-DATE-FUN |page 182| JUST-VALUE) 
(DEFPROP DELETE-FILE-FUN |page 182| JUST-VALUE) 
(DEFPROP RENAME-FILE-FUN |page 182| JUST-VALUE) 
(DEFPROP PROBE-FILE-FUN |page 181| JUST-VALUE) 
(DEFPROP FS:CLOSE-ALL-FILES-FUN |page 181| JUST-VALUE) 
(DEFPROP VMS-OPEN-SPECIFICS |page 181| JUST-VALUE) 
(DEFPROP *SCRATCH-PATHNAME-DEFAULTS*-VAR |page 180| JUST-VALUE) 
(DEFPROP *DEFAULT-PATHNAME-DEFAULTS*-VAR |page 180| JUST-VALUE) 
(DEFPROP *LOAD-PATHNAME-DEFAULTS*-VAR |page 180| JUST-VALUE) 
(DEFPROP MERGE-PATHNAME-DEFAULTS-FUN |page 179| JUST-VALUE) 
(DEFPROP INIT-FILE-PATHNAME-FUN |page 179| JUST-VALUE) 
(DEFPROP USER-SCRATCHDIR-PATHNAME-FUN |page 179| JUST-VALUE) 
(DEFPROP USER-WORKINGDIR-PATHNAME-FUN |page 178| JUST-VALUE) 
(DEFPROP USER-HOMEDIR-PATHNAME-FUN |page 178| JUST-VALUE) 
(DEFPROP NAMESTRING-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-VERSION-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-TYPE-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-NAME-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-DIRECTORY-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-DEVICE-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-HOST-FUN |page 178| JUST-VALUE) 
(DEFPROP PATHNAME-FUN |page 178| JUST-VALUE) 
(DEFPROP FORMAT-YES-OR-NO-P-FUN |page 176| JUST-VALUE) 
(DEFPROP FORMAT-Y-OR-N-P-FUN |page 176| JUST-VALUE) 
(DEFPROP YES-OR-NO-P-FUN |page 176| JUST-VALUE) 
(DEFPROP Y-OR-N-P-FUN |page 176| JUST-VALUE) 
(DEFPROP FORMAT-FLATC-FUN |page 176| JUST-VALUE) 
(DEFPROP FORMAT-FORMFEED-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-TAB-TO-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-FRESH-LINE-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-LINEL-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-CHARPOS-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-TERPRI-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-LCPRINC-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-PRIN1-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-PRINC-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT-TYO-FUN |page 175| JUST-VALUE) 
(DEFPROP FORMAT:ATSIGN-FLAG-VAR |page 174| JUST-VALUE) 
(DEFPROP FORMAT:COLON-FLAG-VAR |page 174| JUST-VALUE) 
(DEFPROP DEFINE-FORMAT-OP-FUN |page 173| JUST-VALUE) 
(DEFPROP DEFINE-YOUR-OWN-SECTION-PAGE |section 18.6.2, page 173| JUST-VALUE) 
(DEFPROP MULTI-CHARACTER-OPERATOR-PAGE |page 167| JUST-VALUE) 
(DEFPROP ?FORMAT-FUN |page 166| JUST-VALUE) 
(DEFPROP FORMAT-FUN |page 166| JUST-VALUE) 
(DEFPROP FORMAT-PAGE |page 166| JUST-VALUE) 
(DEFPROP FORMAT-SECTION-PAGE |section 18.6, page 166| JUST-VALUE) 
(DEFPROP FORMAT-CHAPTER /18 JUST-VALUE) 
(DEFPROP PRETTY-PRINT-DATUM-FUN |page 166| JUST-VALUE) 
(DEFPROP PRETTY-PRIN1-DATUM-FUN |page 166| JUST-VALUE) 
(DEFPROP PRETTY-PRINT-FUN |page 166| JUST-VALUE) 
(DEFPROP PRETTY-PRIN1-FUN |page 165| JUST-VALUE) 
(DEFPROP FORMATTED-OUTPUT-SECTION-PAGE |section 18.5, page 165| JUST-VALUE) 
(DEFPROP WRITE-BITS-FUN |page 165| JUST-VALUE) 
(DEFPROP WRITE-BYTE-FUN |page 165| JUST-VALUE) 
(DEFPROP PRINT-FUN |page 164| JUST-VALUE) 
(DEFPROP PRIN1-FUN |page 164| JUST-VALUE) 
(DEFPROP PRINC-FUN |page 164| JUST-VALUE) 
(DEFPROP WRITE-LINE-FUN |page 164| JUST-VALUE) 
(DEFPROP WRITE-STRING-FUN |page 164| JUST-VALUE) 
(DEFPROP OUSTR-FUN |page 164| JUST-VALUE) 
(DEFPROP FRESH-LINE-FUN |page 164| JUST-VALUE) 
(DEFPROP TERPRI-FUN |page 164| JUST-VALUE) 
(DEFPROP WRITE-CHAR-FUN |page 164| JUST-VALUE) 
(DEFPROP CLEAR-OUTPUT-FUN |page 164| JUST-VALUE) 
(DEFPROP FINISH-OUTPUT-FUN |page 163| JUST-VALUE) 
(DEFPROP FORCE-OUTPUT-FUN |page 163| JUST-VALUE) 
(DEFPROP READ-BYTE-FUN |page 163| JUST-VALUE) 
(DEFPROP READ-FUN |page 163| JUST-VALUE) 
(DEFPROP READLINE-FUN |page 163| JUST-VALUE) 
(DEFPROP UNREAD-CHAR-FUN |page 163| JUST-VALUE) 
(DEFPROP PEEK-CHAR-FUN |page 162| JUST-VALUE) 
(DEFPROP READ-CHAR-FUN |page 162| JUST-VALUE) 
(DEFPROP CLEAR-INPUT-FUN |page 162| JUST-VALUE) 
(DEFPROP LISTEN-FUN |page 162| JUST-VALUE) 
(DEFPROP WITH-INPUT-FROM-STRING-FUN |page 161| JUST-VALUE) 
(DEFPROP MAKE-STRING-INPUT-STREAM-FUN |page 161| JUST-VALUE) 
(DEFPROP WITH-OUTPUT-TO-STRING-FUN |page 161| JUST-VALUE) 
(DEFPROP GET-OUTPUT-STREAM-STRING-FUN |page 161| JUST-VALUE) 
(DEFPROP MAKE-STRING-OUTPUT-STREAM-FUN |page 161| JUST-VALUE) 
(DEFPROP MAKE-SYNONYM-STREAM-FUN |page 161| JUST-VALUE) 
(DEFPROP CLOSE-FUN |page 160| JUST-VALUE) 
(DEFPROP WITH-OPEN-FILE-FUN |page 160| JUST-VALUE) 
(DEFPROP OPEN-FUN |page 159| JUST-VALUE) 
(DEFPROP SI:DEBUG-OUTPUT-VAR |page 159| JUST-VALUE) 
(DEFPROP SI:DEBUG-INPUT-VAR |page 159| JUST-VALUE) 
(DEFPROP MSGFILES-VAR |page 159| JUST-VALUE) 
(DEFPROP *TRACE-OUTPUT*-VAR |page 158| JUST-VALUE) 
(DEFPROP QUERY-IO-VAR |page 158| JUST-VALUE) 
(DEFPROP ERROR-OUTPUT-VAR |page 158| JUST-VALUE) 
(DEFPROP TERMINAL-IO-VAR |page 158| JUST-VALUE) 
(DEFPROP STANDARD-OUTPUT-VAR |page 174| JUST-VALUE) 
(DEFPROP STANDARD-INPUT-VAR |page 158| JUST-VALUE) 
(DEFPROP STREAMP-FUN |page 158| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-PP-ANAPHOR-DISPATCH-METHOD |page 157| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-PP-DISPATCH-METHOD |page 157| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-STORE-NTH-METHOD |page 157| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-SELECT-NTH-METHOD |page 157| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-EXHIBIT-SELF-METHOD |page 157| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-SXHASH-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-EQUAL-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-WHICH-OPERATIONS-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-SEND-IF-HANDLES-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-OPERATION-HANDLED-P-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-GET-HANDLER-FOR-METHOD |page 156| JUST-VALUE) 
(DEFPROP VANILLA-FLAVOR-PRINT-SELF-METHOD |page 156| JUST-VALUE) 
(DEFPROP :PP-ANAPHOR-DISPATCH-MESSAGE |page 156| JUST-VALUE) 
(DEFPROP :PP-DISPATCH-MESSAGE |page 156| JUST-VALUE) 
(DEFPROP :STORE-NTH-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :SELECT-NTH-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :EXHIBIT-SELF-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :DESCRIBE-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :FUNCALL-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :EVAL-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :SXHASH-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :EQUAL-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP :PRINT-SELF-MESSAGE |page 155| JUST-VALUE) 
(DEFPROP DEFMETHOD-PRIMITIVE-FUN |page 154| JUST-VALUE) 
(DEFPROP DEFMETHOD-FUN |page 154| JUST-VALUE) 
(DEFPROP DEFFLAVOR-FUN |page 152| JUST-VALUE) 
(DEFPROP MAKE-INSTANCE-FUN |page 152| JUST-VALUE) 
(DEFPROP LEXPR-SEND-FORWARD-FUN |page 152| JUST-VALUE) 
(DEFPROP SEND-FORWARD-FUN |page 151| JUST-VALUE) 
(DEFPROP LEXPR-SEND-FUN |page 151| JUST-VALUE) 
(DEFPROP SEND-FUN |page 151| JUST-VALUE) 
(DEFPROP BICYCLE-EXAMPLE |page 150| JUST-VALUE) 
(DEFPROP SI:LOOP-NAMED-VARIABLE-FUN |page 145| JUST-VALUE) 
(DEFPROP LOOP-GENTEMP-FUN |page 145| JUST-VALUE) 
(DEFPROP SI:LOOP-TASSOC-FUN |page 145| JUST-VALUE) 
(DEFPROP SI:LOOP-TMEMBER-FUN |page 145| JUST-VALUE) 
(DEFPROP SI:LOOP-TEQUAL-FUN |page 145| JUST-VALUE) 
(DEFPROP DEFINE-LOOP-PATH-FUN |page 143| JUST-VALUE) 
(DEFPROP DEFINE-LOOP-SEQUENCE-PATH-FUN |page 142| JUST-VALUE) 
(DEFPROP LOOP-SEQUENCE-PAGE |page 142| JUST-VALUE) 
(DEFPROP LOOP-SEQUENCE-SECTION |16.7.1.2| JUST-VALUE) 
(DEFPROP PREDEFINED-PATHS-SECTION |16.7.1| JUST-VALUE) 
(DEFPROP LOOP-USING-CROCK |page 140| JUST-VALUE) 
(DEFPROP ITERATION-PATH-PAGE |page 140| JUST-VALUE) 
(DEFPROP LOOP-ITERATION-FRAMEWORK-PAGE |page 138| JUST-VALUE) 
(DEFPROP LOOP-ITERATION-FRAMEWORK-SECTION |16.6| JUST-VALUE) 
(DEFPROP SI:LOOP-USE-SYSTEM-DESTRUCTURING?-VAR |page 138| JUST-VALUE) 
(DEFPROP LOOP-DESTRUCTURING-PAGE |page 137| JUST-VALUE) 
(DEFPROP LOOP-DESTRUCTURING-SECTION |16.5| JUST-VALUE) 
(DEFPROP LOOP-DATA-TYPE-PAGE |page 136| JUST-VALUE) 
(DEFPROP LOOP-DATA-TYPE-SECTION |16.4| JUST-VALUE) 
(DEFPROP DEFINE-LOOP-MACRO-FUN |page 136| JUST-VALUE) 
(DEFPROP AGGREGATED-BOOLEAN-TESTS-SECTION |16.2.7| JUST-VALUE) 
(DEFPROP LOOP-FINISH-FUN |page 132| JUST-VALUE) 
(DEFPROP COLLECT-CLAUSE |page 131| JUST-VALUE) 
(DEFPROP VALUES-SECTION |16.2.5| JUST-VALUE) 
(DEFPROP SIDE-EFFECTS-SECTION |16.2.4| JUST-VALUE) 
(DEFPROP LOOP-FINALLY-CLAUSE |page 129| JUST-VALUE) 
(DEFPROP LOOP-NODECLARE-CLAUSE |page 129| JUST-VALUE) 
(DEFPROP WITH-CLAUSE |page 128| JUST-VALUE) 
(DEFPROP LOOP-ARITHMETIC-STEPPING |page 127| JUST-VALUE) 
(DEFPROP PRINT-ELEMENTS-OF-LIST-EXAMPLE |page 123| JUST-VALUE) 
(DEFPROP LOOP-CHAPTER /16 JUST-VALUE) 
(DEFPROP KEYWORDS-SECTION-PAGE |section 15.6.3.6, page 121| JUST-VALUE) 
(DEFPROP MULTI-ARG-ACCESSORS-SECTION-PAGE |section 15.6.3.2, page 119| JUST-VALUE) 
(DEFPROP CONS-OPTION-SECTION-PAGE |section 15.6.3.1, page 118| JUST-VALUE) 
(DEFPROP DEFSTRUCT-DEFINE-TYPE-FUN |page 117| JUST-VALUE) 
(DEFPROP EXTENSION-SECTION-PAGE |section 15.6, page 117| JUST-VALUE) 
(DEFPROP DEFSTRUCT-DESCRIPTION-SECTION-PAGE |section 15.5, page 116| JUST-VALUE) 
(DEFPROP OTHER-OPTIONS-SECTION-PAGE |section 15.4.22, page 116| JUST-VALUE) 
(DEFPROP TYPE-AS-OPTION-SECTION-PAGE |section 15.4.21, page 115| JUST-VALUE) 
(DEFPROP PROPERTY-SECTION-PAGE |section 15.4.20, page 115| JUST-VALUE) 
(DEFPROP EVAL-WHEN-SECTION-PAGE |section 15.4.19, page 115| JUST-VALUE) 
(DEFPROP CALLABLE-ACCESSORS-SECTION-PAGE |section 15.4.18, page 115| JUST-VALUE) 
(DEFPROP BUT-FIRST-SECTION-PAGE |section 15.4.17, page 114| JUST-VALUE) 
(DEFPROP INITIAL-OFFSET-SECTION-PAGE |section 15.4.16, page 114| JUST-VALUE) 
(DEFPROP SIZE-MACRO-SECTION-PAGE |section 15.4.15, page 114| JUST-VALUE) 
(DEFPROP SIZE-SYMBOL-SECTION-PAGE |section 15.4.14, page 114| JUST-VALUE) 
(DEFPROP SFA-NAME-SECTION-PAGE |section 15.4.13, page 114| JUST-VALUE) 
(DEFPROP SFA-FUNCTION-SECTION-PAGE |section 15.4.12, page 113| JUST-VALUE) 
(DEFPROP CLASS-SYMBOL-SECTION-PAGE |section 15.4.11, page 113| JUST-VALUE) 
(DEFPROP COPIER-SECTION-PAGE |section 15.4.10, page 113| JUST-VALUE) 
(DEFPROP INCLUDE-SECTION-PAGE |section 15.4.9, page 112| JUST-VALUE) 
(DEFPROP CONC-NAME-SECTION-PAGE |section 15.4.8, page 111| JUST-VALUE) 
(DEFPROP DEFAULT-POINTER-SECTION-PAGE |section 15.4.7, page 111| JUST-VALUE) 
(DEFPROP PRINT-SECTION-PAGE |section 15.4.6, page 110| JUST-VALUE) 
(DEFPROP PREDICATE-SECTION-PAGE |section 15.4.5, page 110| JUST-VALUE) 
(DEFPROP NAMED-SECTION-PAGE |section 15.4.4, page 110| JUST-VALUE) 
(DEFPROP ALTERANT-SECTION-PAGE |section 15.4.3, page 108| JUST-VALUE) 
(DEFPROP CONSTRUCTOR-SECTION-PAGE |section 15.4.2, page 107| JUST-VALUE) 
(DEFPROP DEFSTRUCT-EXTEND-TYPE-SECTION-PAGE |section 15.4.1, page 107| JUST-VALUE) 
(DEFPROP :EXTEND-DEFSTRUCT-TYPE |page 107| JUST-VALUE) 
(DEFPROP :NAMED-VECTOR-DEFSTRUCT-TYPE |page 107| JUST-VALUE) 
(DEFPROP :VECTOR-DEFSTRUCT-TYPE |page 107| JUST-VALUE) 
(DEFPROP :SFA-DEFSTRUCT-TYPE |page 107| JUST-VALUE) 
(DEFPROP :ARRAY-DEFSTRUCT-TYPE |page 106| JUST-VALUE) 
(DEFPROP :LIST*-DEFSTRUCT-TYPE |page 106| JUST-VALUE) 
(DEFPROP :TREE-DEFSTRUCT-TYPE |page 106| JUST-VALUE) 
(DEFPROP :NAMED-LIST-DEFSTRUCT-TYPE |page 106| JUST-VALUE) 
(DEFPROP :LIST-DEFSTRUCT-TYPE |page 106| JUST-VALUE) 
(DEFPROP TYPE-SECTION-PAGE |section 15.4.1, page 106| JUST-VALUE) 
(DEFPROP OPTIONS-SECTION-PAGE |section 15.4, page 106| JUST-VALUE) 
(DEFPROP SYNTAX-SECTION-PAGE |chapter 19, page 192| JUST-VALUE) 
(DEFPROP DEFSTRUCT-FUN |page 104| JUST-VALUE) 
(DEFPROP EXAMPLE-SECTION-PAGE |section 15.2, page 104| JUST-VALUE) 
(DEFPROP DEFSTRUCT-PAGE |page 104| JUST-VALUE) 
(DEFPROP NOTE-MODULE-PATHNAME-FUN |page 103| JUST-VALUE) 
(DEFPROP REQUIRE-FUN |page 102| JUST-VALUE) 
(DEFPROP PROVIDE-FUN |page 102| JUST-VALUE) 
(DEFPROP *MODULES*-VAR |page 102| JUST-VALUE) 
(DEFPROP MAPATOMS-FUN |page 101| JUST-VALUE) 
(DEFPROP INTERN-SOFT-FUN |page 101| JUST-VALUE) 
(DEFPROP INTERN-FUN |page 101| JUST-VALUE) 
(DEFPROP GLOBALIZE-FUN |page 101| JUST-VALUE) 
(DEFPROP PACKAGE-VAR |page 101| JUST-VALUE) 
(DEFPROP PKG-GOTO-FUN |page 101| JUST-VALUE) 
(DEFPROP PKG-CREATE-PACKAGE-FUN |page 101| JUST-VALUE) 
(DEFPROP PKG-FIND-PACKAGE-FUN |page 101| JUST-VALUE) 
(DEFPROP PACKAGE-SECTION-PAGE |chapter 14, page 100| JUST-VALUE) 
(DEFPROP SYS:SXHASH-COMBINE-FUN |page 98| JUST-VALUE) 
(DEFPROP STRING=-HASH-FUN |page 98| JUST-VALUE) 
(DEFPROP STRING-EQUAL-HASH-FUN |page 98| JUST-VALUE) 
(DEFPROP SXHASH-FUN |page 98| JUST-VALUE) 
(DEFPROP HASH-TABLE-COUNT-FUN |page 97| JUST-VALUE) 
(DEFPROP CLRHASH-FUN |page 97| JUST-VALUE) 
(DEFPROP REMHASH-FUN |page 97| JUST-VALUE) 
(DEFPROP GETHASH-FUN |page 97| JUST-VALUE) 
(DEFPROP MAKE-HASH-TABLE-FUN |page 97| JUST-VALUE) 
(DEFPROP HASH-TABLE-SECTION-PAGE |chapter 13, page 97| JUST-VALUE) 
(DEFPROP *:CRC-16-HASH-POLYNOMIAL-VAR |page 96| JUST-VALUE) 
(DEFPROP *:CCITT-HASH-POLYNOMIAL-VAR |page 96| JUST-VALUE) 
(DEFPROP *:AUTODIN-II-HASH-POLYNOMIAL-VAR |page 96| JUST-VALUE) 
(DEFPROP %STRING-HASH-FUN |page 96| JUST-VALUE) 
(DEFPROP %STRING-TRANSLATE-FUN |page 95| JUST-VALUE) 
(DEFPROP %STRING-REPLACE-FUN |page 95| JUST-VALUE) 
(DEFPROP %STRING-EQV-FUN |page 95| JUST-VALUE) 
(DEFPROP %STRING-POSQ-FUN |page 95| JUST-VALUE) 
(DEFPROP %STRING-CONS-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-REVERSE-SEARCH-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-SEARCH-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-REVERSE-SEARCH-NOT-SET-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-SEARCH-NOT-SET-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-REVERSE-SEARCH-SET-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-SEARCH-SET-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-REVERSE-SEARCH-NOT-CHAR-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-SEARCH-NOT-CHAR-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-REVERSE-SEARCH-CHAR-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-SEARCH-CHAR-FUN |page 95| JUST-VALUE) 
(DEFPROP STRING-NREVERSE-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-REVERSE-FUN |page 94| JUST-VALUE) 
(DEFPROP SUBSTRING-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-APPEND-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-RIGHT-TRIM-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-LEFT-TRIM-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-TRIM-FUN |page 94| JUST-VALUE) 
(DEFPROP NSTRING-DOWNCASE-FUN |page 94| JUST-VALUE) 
(DEFPROP NSTRING-UPCASE-FUN |page 94| JUST-VALUE) 
(DEFPROP STRING-DOWNCASE-FUN |page 93| JUST-VALUE) 
(DEFPROP STRING-UPCASE-FUN |page 93| JUST-VALUE) 
(DEFPROP STRING-LENGTH-FUN |page 93| JUST-VALUE) 
(DEFPROP MAKE-STRING-FUN |page 93| JUST-VALUE) 
(DEFPROP SCHAR-FUN |page 93| JUST-VALUE) 
(DEFPROP CHAR-FUN |page 93| JUST-VALUE) 
(DEFPROP STRING>-FUN |page 93| JUST-VALUE) 
(DEFPROP STRING>=-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING<=-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING<-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING//=-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING=-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-NOT-GREATERP-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-GREATERP-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-NOT-LESSP-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-LESSP-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-NOT-EQUAL-FUN |page 92| JUST-VALUE) 
(DEFPROP STRING-EQUAL-FUN |page 92| JUST-VALUE) 
(DEFPROP TO-STRING-FUN |page 91| JUST-VALUE) 
(DEFPROP STRING-FUN |page 91| JUST-VALUE) 
(DEFPROP STRING-SECTION-PAGE |chapter 12, page 91| JUST-VALUE) 
(DEFPROP STRING-CHAPTER-NUMBER /12 JUST-VALUE) 
(DEFPROP GET-A-BYTE-2C-FUN |page 90| JUST-VALUE) 
(DEFPROP GET-A-BYTE-FUN |page 90| JUST-VALUE) 
(DEFPROP NIBBLE-2C-FUN |page 89| JUST-VALUE) 
(DEFPROP NIBBLE-FUN |page 89| JUST-VALUE) 
(DEFPROP SIMPLE-BIT-VECTOR-LENGTH-FUN |page 89| JUST-VALUE) 
(DEFPROP MAKE-BIT-VECTOR-FUN |page 89| JUST-VALUE) 
(DEFPROP BIT-NOT-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-ORC2-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-ORC1-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-ANDC2-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-ANDC1-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-NOR-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-NAND-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-EQV-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-XOR-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-IOR-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-AND-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-FUN |page 88| JUST-VALUE) 
(DEFPROP BIT-ARRAY-SECTION-PAGE |section 11.8, page 88| JUST-VALUE) 
(DEFPROP SIMPLE-VECTOR-LENGTH-FUN |page 88| JUST-VALUE) 
(DEFPROP SVREF-FUN |page 87| JUST-VALUE) 
(DEFPROP VECTOR-FUN |page 87| JUST-VALUE) 
(DEFPROP MAKE-VECTOR-FUN |page 87| JUST-VALUE) 
(DEFPROP VECTOR-LENGTH-FUN |page 87| JUST-VALUE) 
(DEFPROP VREF-FUN |page 87| JUST-VALUE) 
(DEFPROP ADJUST-ARRAY-FUN |page 86| JUST-VALUE) 
(DEFPROP ARRAY-ADJUSTMENT-SECTION-PAGE |section 11.5, page 86| JUST-VALUE) 
(DEFPROP ARRAY-DISPLACEMENT-SECTION-PAGE |section 11.4, page 86| JUST-VALUE) 
(DEFPROP RESET-FILL-POINTER-FUN |page 85| JUST-VALUE) 
(DEFPROP VECTOR-POP-FUN |page 85| JUST-VALUE) 
(DEFPROP VECTOR-PUSH-EXTEND-FUN |page 85| JUST-VALUE) 
(DEFPROP VECTOR-PUSH-FUN |page 85| JUST-VALUE) 
(DEFPROP ARRAY-FILL-POINTER-SECTION-PAGE |section 11.3, page 84| JUST-VALUE) 
(DEFPROP ARRAY-ELEMENT-TYPE-SECTION-PAGE |section 11.2, page 83| JUST-VALUE) 
(DEFPROP ARRAY-ELEMENT-TYPE-FUN |page 83| JUST-VALUE) 
(DEFPROP ARRAY-DIMENSIONS-FUN |page 83| JUST-VALUE) 
(DEFPROP ARRAY-DIMENSION-FUN |page 83| JUST-VALUE) 
(DEFPROP ARRAY-RANK-FUN |page 83| JUST-VALUE) 
(DEFPROP AREF-FUN |page 82| JUST-VALUE) 
(DEFPROP MAKE-ARRAY-FUN |page 82| JUST-VALUE) 
(DEFPROP ARRAY-SECTION-PAGE |chapter 11, page 82| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_ALPHA-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_ALPHA-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_STANDARD-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_STANDARD-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_DIGIT-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_DIGIT-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_BOTH_CASE-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_BOTH_CASE-VAR |page 81| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_LOWER_CASE-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_LOWER_CASE-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_UPPER_CASE-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_UPPER_CASE-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$M_GRAPHIC-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:CHARSYNTAX$V_GRAPHIC-VAR |page 80| JUST-VALUE) 
(DEFPROP SI:NOTE-PRIMITIVE-FONT-FUN |page 80| JUST-VALUE) 
(DEFPROP PRIMITIVE-FONT-SECTION-PAGE |section 10.7, page 79| JUST-VALUE) 
(DEFPROP NIL-CHARACTER-SET-SECTION-PAGE |section 10.6, page 78| JUST-VALUE) 
(DEFPROP %CHAR-DOWNCASE-CODE-FUN |page 77| JUST-VALUE) 
(DEFPROP %CHAR-UPCASE-CODE-FUN |page 77| JUST-VALUE) 
(DEFPROP %DIGIT-WEIGHT-TO-CHAR-FUN |page 77| JUST-VALUE) 
(DEFPROP %DIGIT-CHAR-TO-WEIGHT-FUN |page 77| JUST-VALUE) 
(DEFPROP %DIGIT-CHAR-IN-RADIX-P-FUN |page 77| JUST-VALUE) 
(DEFPROP %VALID-DIGIT-RADIX-P-FUN |page 77| JUST-VALUE) 
(DEFPROP %INT-CHAR-FUN |page 77| JUST-VALUE) 
(DEFPROP LOW-LEVEL-CHARACTER-SECTION-PAGE |section 10.5, page 77| JUST-VALUE) 
(DEFPROP SI:REQUIRE-CHARACTER-FIXNUM-FUN |page 76| JUST-VALUE) 
(DEFPROP SI:REQUIRE-CHARACTER-FUN |page 76| JUST-VALUE) 
(DEFPROP DIGIT-CHAR-FUN |page 76| JUST-VALUE) 
(DEFPROP DIGIT-CHAR-P-FUN |page 76| JUST-VALUE) 
(DEFPROP NAME-CHAR-FUN |page 76| JUST-VALUE) 
(DEFPROP CHAR-NAME-FUN |page 75| JUST-VALUE) 
(DEFPROP INT-CHAR-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-INT-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-DOWNCASE-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-UPCASE-FUN |page 75| JUST-VALUE) 
(DEFPROP MAKE-CHAR-FUN |page 75| JUST-VALUE) 
(DEFPROP CODE-CHAR-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-FONT-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-BITS-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-CODE-FUN |page 75| JUST-VALUE) 
(DEFPROP CHARACTER-FUN |page 75| JUST-VALUE) 
(DEFPROP CHAR-NOT-GREATERP-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR-NOT-LESSP-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR-GREATERP-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR-LESSP-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR-EQUAL-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR//=-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR>=-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR>-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR<=-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR<-FUN |page 74| JUST-VALUE) 
(DEFPROP CHAR=-FUN |page 74| JUST-VALUE) 
(DEFPROP ALPHANUMERICP-FUN |page 74| JUST-VALUE) 
(DEFPROP BOTH-CASE-P-FUN |page 74| JUST-VALUE) 
(DEFPROP LOWER-CASE-P-FUN |page 74| JUST-VALUE) 
(DEFPROP UPPER-CASE-P-FUN |page 74| JUST-VALUE) 
(DEFPROP ALPHA-CHAR-P-FUN |page 74| JUST-VALUE) 
(DEFPROP GRAPHIC-CHAR-P-FUN |page 73| JUST-VALUE) 
(DEFPROP STANDARD-CHAR-P-FUN |page 73| JUST-VALUE) 
(DEFPROP CHAR-BITS-LIMIT-VAR |page 73| JUST-VALUE) 
(DEFPROP CHAR-FONT-LIMIT-VAR |page 73| JUST-VALUE) 
(DEFPROP CHAR-CODE-LIMIT-VAR |page 73| JUST-VALUE) 
(DEFPROP CHARACTER-CHAPTER-NUMBER /10 JUST-VALUE) 
(DEFPROP LONG-FLOAT-NEGATIVE-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP DOUBLE-FLOAT-NEGATIVE-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP SINGLE-FLOAT-NEGATIVE-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP SHORT-FLOAT-NEGATIVE-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP LONG-FLOAT-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP DOUBLE-FLOAT-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP SINGLE-FLOAT-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP SHORT-FLOAT-EPSILON-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-NEGATIVE-LONG-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-NEGATIVE-DOUBLE-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-NEGATIVE-SINGLE-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-NEGATIVE-SHORT-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-POSITIVE-LONG-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-POSITIVE-DOUBLE-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-POSITIVE-SINGLE-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP LEAST-POSITIVE-SHORT-FLOAT-VAR |page 72| JUST-VALUE) 
(DEFPROP MOST-NEGATIVE-LONG-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-NEGATIVE-DOUBLE-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-NEGATIVE-SINGLE-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-NEGATIVE-SHORT-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-POSITIVE-LONG-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-POSITIVE-DOUBLE-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-POSITIVE-SINGLE-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-POSITIVE-SHORT-FLOAT-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-NEGATIVE-FIXNUM-VAR |page 71| JUST-VALUE) 
(DEFPROP MOST-POSITIVE-FIXNUM-VAR |page 71| JUST-VALUE) 
(DEFPROP INTEGER-DECODE-FLOAT-FUN |page 71| JUST-VALUE) 
(DEFPROP FLOAT-PRECISION-FUN |page 71| JUST-VALUE) 
(DEFPROP FLOAT-DIGITS-FUN |page 71| JUST-VALUE) 
(DEFPROP FLOAT-SIGN-FUN |page 71| JUST-VALUE) 
(DEFPROP SCALE-FLOAT-FUN |page 70| JUST-VALUE) 
(DEFPROP DECODE-FLOAT-FUN |page 70| JUST-VALUE) 
(DEFPROP FLOAT-RADIX-FUN |page 70| JUST-VALUE) 
(DEFPROP ^$-FUN |page 70| JUST-VALUE) 
(DEFPROP MIN$-FUN |page 70| JUST-VALUE) 
(DEFPROP MAX$-FUN |page 70| JUST-VALUE) 
(DEFPROP ABS$-FUN |page 69| JUST-VALUE) 
(DEFPROP 1-$-FUN |page 69| JUST-VALUE) 
(DEFPROP 1+$-FUN |page 69| JUST-VALUE) 
(DEFPROP //$-FUN |page 69| JUST-VALUE) 
(DEFPROP -$-FUN |page 69| JUST-VALUE) 
(DEFPROP *$-FUN |page 69| JUST-VALUE) 
(DEFPROP +$-FUN |page 69| JUST-VALUE) 
(DEFPROP DOUBLE-FLOAT-ONLY-ARITHMETIC-SECTION-PAGE |section 9.11, page 69| JUST-VALUE) 
(DEFPROP SYS:%FIXNUM-ASH-WITH-OVERFLOW-TRAPPING-FUN |page 69| JUST-VALUE) 
(DEFPROP SYS:%FIXNUM-TIMES-WITH-OVERFLOW-TRAPPING-FUN |page 69| JUST-VALUE) 
(DEFPROP SYS:%FIXNUM-DIFFERENCE-WITH-OVERFLOW-TRAPPING-FUN |page 69| JUST-VALUE) 
(DEFPROP SYS:%FIXNUM-PLUS-WITH-OVERFLOW-TRAPPING-FUN |page 69| JUST-VALUE) 
(DEFPROP DEPOSIT-BYTE-FUN |page 69| JUST-VALUE) 
(DEFPROP LOAD-BYTE-FUN |page 69| JUST-VALUE) 
(DEFPROP %DPB-FUN |page 68| JUST-VALUE) 
(DEFPROP %LDB-FUN |page 68| JUST-VALUE) 
(DEFPROP SET-LDB&-FUN |page 68| JUST-VALUE) 
(DEFPROP DPB&-FUN |page 68| JUST-VALUE) 
(DEFPROP LDB&-FUN |page 68| JUST-VALUE) 
(DEFPROP HAULONG&-FUN |page 68| JUST-VALUE) 
(DEFPROP LOGCOUNT&-FUN |page 68| JUST-VALUE) 
(DEFPROP ASH&-FUN |page 68| JUST-VALUE) 
(DEFPROP LOGBITP&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGTEST&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGNOT&-FUN |page 67| JUST-VALUE) 
(DEFPROP BOOLE&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGORC2&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGORC1&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGANDC2&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGANDC1&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGNOR&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGNAND&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGEQV&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGXOR&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGIOR&-FUN |page 67| JUST-VALUE) 
(DEFPROP LOGAND&-FUN |page 67| JUST-VALUE) 
(DEFPROP ^&-FUN |page 67| JUST-VALUE) 
(DEFPROP SIGNUM&-FUN |page 67| JUST-VALUE) 
(DEFPROP ABS&-FUN |page 67| JUST-VALUE) 
(DEFPROP 1-&-FUN |page 67| JUST-VALUE) 
(DEFPROP 1+&-FUN |page 67| JUST-VALUE) 
(DEFPROP \&-FUN |page 67| JUST-VALUE) 
(DEFPROP //&-FUN |page 66| JUST-VALUE) 
(DEFPROP *&-FUN |page 66| JUST-VALUE) 
(DEFPROP -&-FUN |page 66| JUST-VALUE) 
(DEFPROP +&-FUN |page 66| JUST-VALUE) 
(DEFPROP MIN&-FUN |page 66| JUST-VALUE) 
(DEFPROP MAX&-FUN |page 66| JUST-VALUE) 
(DEFPROP >=&-FUN |page 66| JUST-VALUE) 
(DEFPROP <=&-FUN |page 66| JUST-VALUE) 
(DEFPROP >&-FUN |page 66| JUST-VALUE) 
(DEFPROP <&-FUN |page 66| JUST-VALUE) 
(DEFPROP //=&-FUN |page 66| JUST-VALUE) 
(DEFPROP =&-FUN |page 66| JUST-VALUE) 
(DEFPROP FIXNUM-ONLY-ARITHMETIC-SECTION-PAGE |section 9.10, page 66| JUST-VALUE) 
(DEFPROP MAKE-RANDOM-STATE-FUN |page 65| JUST-VALUE) 
(DEFPROP *RANDOM-STATE*-VAR |page 65| JUST-VALUE) 
(DEFPROP RANDOM-FUN |page 65| JUST-VALUE) 
(DEFPROP DEPOSIT-FIELD-FUN |page 65| JUST-VALUE) 
(DEFPROP DPB-FUN |page 64| JUST-VALUE) 
(DEFPROP MASK-FIELD-FUN |page 64| JUST-VALUE) 
(DEFPROP LDB-TEST-FUN |page 64| JUST-VALUE) 
(DEFPROP LDB-FUN |page 64| JUST-VALUE) 
(DEFPROP BYTE-POSITION-FUN |page 64| JUST-VALUE) 
(DEFPROP BYTE-SIZE-FUN |page 64| JUST-VALUE) 
(DEFPROP BYTE-FUN |page 64| JUST-VALUE) 
(DEFPROP BYTE-MANIPULATION-SECTION-PAGE |section 9.8, page 63| JUST-VALUE) 
(DEFPROP HAIPART-FUN |page 63| JUST-VALUE) 
(DEFPROP HAULONG-FUN |page 63| JUST-VALUE) 
(DEFPROP INTEGER-LENGTH-FUN |page 63| JUST-VALUE) 
(DEFPROP LOGCOUNT-FUN |page 62| JUST-VALUE) 
(DEFPROP ASH-FUN |page 62| JUST-VALUE) 
(DEFPROP LOGBITP-FUN |page 62| JUST-VALUE) 
(DEFPROP LOGTEST-FUN |page 62| JUST-VALUE) 
(DEFPROP LOGNOT-FUN |page 62| JUST-VALUE) 
(DEFPROP BOOLE-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGORC2-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGORC1-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGANDC2-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGANDC1-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGNOR-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGNAND-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGEQV-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGAND-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGXOR-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGIOR-FUN |page 61| JUST-VALUE) 
(DEFPROP LOGICAL-OPERATIONS-ON-NUMBERS-SECTION-PAGE |section 9.7, page 61| JUST-VALUE) 
(DEFPROP FROUND-FUN |page 60| JUST-VALUE) 
(DEFPROP FCEILING-FUN |page 60| JUST-VALUE) 
(DEFPROP FTRUNCATE-FUN |page 60| JUST-VALUE) 
(DEFPROP FFLOOR-FUN |page 60| JUST-VALUE) 
(DEFPROP MOD-FUN |page 60| JUST-VALUE) 
(DEFPROP REMAINDER-FUN |page 60| JUST-VALUE) 
(DEFPROP REM-FUN |page 60| JUST-VALUE) 
(DEFPROP ROUND-FUN |page 59| JUST-VALUE) 
(DEFPROP CEILING-FUN |page 59| JUST-VALUE) 
(DEFPROP FLOOR-FUN |page 59| JUST-VALUE) 
(DEFPROP TRUNCATE-FUN |page 59| JUST-VALUE) 
(DEFPROP COMPLEX-FUN |page 58| JUST-VALUE) 
(DEFPROP RATIONALIZE-FUN |page 58| JUST-VALUE) 
(DEFPROP RATIONAL-FUN |page 58| JUST-VALUE) 
(DEFPROP FLOAT-FUN |page 58| JUST-VALUE) 
(DEFPROP ATANH-FUN |page 58| JUST-VALUE) 
(DEFPROP ACOSH-FUN |page 58| JUST-VALUE) 
(DEFPROP ASINH-FUN |page 58| JUST-VALUE) 
(DEFPROP TANH-FUN |page 58| JUST-VALUE) 
(DEFPROP COSH-FUN |page 58| JUST-VALUE) 
(DEFPROP SINH-FUN |page 58| JUST-VALUE) 
(DEFPROP ATAN-FUN |page 57| JUST-VALUE) 
(DEFPROP ACOS-FUN |page 57| JUST-VALUE) 
(DEFPROP ASIN-FUN |page 57| JUST-VALUE) 
(DEFPROP TAN-FUN |page 57| JUST-VALUE) 
(DEFPROP COS-FUN |page 57| JUST-VALUE) 
(DEFPROP SIN-FUN |page 57| JUST-VALUE) 
(DEFPROP SIGNUM-FUN |page 57| JUST-VALUE) 
(DEFPROP ABS-FUN |page 57| JUST-VALUE) 
(DEFPROP ISQRT-FUN |page 56| JUST-VALUE) 
(DEFPROP SQRT-FUN |page 56| JUST-VALUE) 
(DEFPROP LOG-FUN |page 56| JUST-VALUE) 
(DEFPROP EXPT-FUN |page 56| JUST-VALUE) 
(DEFPROP EXP-FUN |page 56| JUST-VALUE) 
(DEFPROP LCM-FUN |page 55| JUST-VALUE) 
(DEFPROP GCD-FUN |page 55| JUST-VALUE) 
(DEFPROP CONJUGATE-FUN |page 55| JUST-VALUE) 
(DEFPROP QUOTIENT-FUN |page 55| JUST-VALUE) 
(DEFPROP //-FUN |page 55| JUST-VALUE) 
(DEFPROP TIMES-FUN |page 55| JUST-VALUE) 
(DEFPROP *-FUN |page 55| JUST-VALUE) 
(DEFPROP MINUS-FUN |page 55| JUST-VALUE) 
(DEFPROP SUB1-FUN |page 55| JUST-VALUE) 
(DEFPROP 1--FUN |page 55| JUST-VALUE) 
(DEFPROP DIFFERENCE-FUN |page 54| JUST-VALUE) 
(DEFPROP --FUN |page 54| JUST-VALUE) 
(DEFPROP ADD1-FUN |page 54| JUST-VALUE) 
(DEFPROP 1+-FUN |page 54| JUST-VALUE) 
(DEFPROP PLUS-FUN |page 54| JUST-VALUE) 
(DEFPROP +-FUN |page 54| JUST-VALUE) 
(DEFPROP MIN-FUN |page 54| JUST-VALUE) 
(DEFPROP MAX-FUN |page 54| JUST-VALUE) 
(DEFPROP LESSP-FUN |page 54| JUST-VALUE) 
(DEFPROP GREATERP-FUN |page 54| JUST-VALUE) 
(DEFPROP >=-FUN |page 53| JUST-VALUE) 
(DEFPROP <=-FUN |page 53| JUST-VALUE) 
(DEFPROP >-FUN |page 53| JUST-VALUE) 
(DEFPROP <-FUN |page 53| JUST-VALUE) 
(DEFPROP //=-FUN |page 53| JUST-VALUE) 
(DEFPROP =-FUN |page 53| JUST-VALUE) 
(DEFPROP EVENP-FUN |page 53| JUST-VALUE) 
(DEFPROP ODDP-FUN |page 53| JUST-VALUE) 
(DEFPROP MINUSP-FUN |page 53| JUST-VALUE) 
(DEFPROP PLUSP-FUN |page 53| JUST-VALUE) 
(DEFPROP ZEROP-FUN |page 53| JUST-VALUE) 
(DEFPROP *READ-DEFAULT-FLOAT-FORMAT*-VAR |page 52| JUST-VALUE) 
(DEFPROP NUMBER-SECTION-PAGE |chapter 9, page 51| JUST-VALUE) 
(DEFPROP NUMBER-CHAPTER-NUMBER /9 JUST-VALUE) 
(DEFPROP %SYMBOL-LINK-FUN |page 50| JUST-VALUE) 
(DEFPROP %SET-SYMBOL-PROPERTY-LIST-FUN |page 50| JUST-VALUE) 
(DEFPROP %SYMBOL-PLIST-FUN |page 50| JUST-VALUE) 
(DEFPROP %SET-SYMBOL-PACKAGE-FUN |page 50| JUST-VALUE) 
(DEFPROP %SYMBOL-PACKAGE-FUN |page 50| JUST-VALUE) 
(DEFPROP %SYMBOL-NAME-FUN |page 50| JUST-VALUE) 
(DEFPROP %SYMBOL-CONS-FUN |page 50| JUST-VALUE) 
(DEFPROP SI:PACKAGE-SYMBOLCONC-FUN |page 49| JUST-VALUE) 
(DEFPROP SYMBOLCONC-FUN |page 49| JUST-VALUE) 
(DEFPROP COPYSYMBOL-FUN |page 49| JUST-VALUE) 
(DEFPROP GETL-FUN |page 49| JUST-VALUE) 
(DEFPROP SETPLIST-FUN |page 49| JUST-VALUE) 
(DEFPROP PLIST-FUN |page 49| JUST-VALUE) 
(DEFPROP GET-PNAME-FUN |page 49| JUST-VALUE) 
(DEFPROP FSET-FUN |page 49| JUST-VALUE) 
(DEFPROP FSYMEVAL-FUN |page 48| JUST-VALUE) 
(DEFPROP SET-FUN |page 48| JUST-VALUE) 
(DEFPROP SYMEVAL-FUN |page 48| JUST-VALUE) 
(DEFPROP FMAKUNBOUND-FUN |page 48| JUST-VALUE) 
(DEFPROP FBOUNDP-FUN |page 48| JUST-VALUE) 
(DEFPROP SYMBOL-FUNCTION-FUN |page 48| JUST-VALUE) 
(DEFPROP MAKUNBOUND-FUN |page 48| JUST-VALUE) 
(DEFPROP BOUNDP-FUN |page 48| JUST-VALUE) 
(DEFPROP SYMBOL-VALUE-FUN |page 48| JUST-VALUE) 
(DEFPROP SYMBOL-PACKAGE-FUN |page 47| JUST-VALUE) 
(DEFPROP GENTEMP-FUN |page 47| JUST-VALUE) 
(DEFPROP GENSYM-FUN |page 47| JUST-VALUE) 
(DEFPROP COPY-SYMBOL-FUN |page 46| JUST-VALUE) 
(DEFPROP MAKE-SYMBOL-FUN |page 46| JUST-VALUE) 
(DEFPROP SAMEPNAMEP-FUN |page 46| JUST-VALUE) 
(DEFPROP SYMBOL-NAME-FUN |page 46| JUST-VALUE) 
(DEFPROP REMPROP-FUN |page 45| JUST-VALUE) 
(DEFPROP PUTPROP-FUN |page 45| JUST-VALUE) 
(DEFPROP GET-FUN |page 45| JUST-VALUE) 
(DEFPROP SYMBOL-PLIST-FUN |page 45| JUST-VALUE) 
(DEFPROP STABLE-SORT-FUN |page 44| JUST-VALUE) 
(DEFPROP SORTCAR-FUN |page 44| JUST-VALUE) 
(DEFPROP SORT-FUN |page 43| JUST-VALUE) 
(DEFPROP NOTEVERY-FUN |page 43| JUST-VALUE) 
(DEFPROP NOTANY-FUN |page 43| JUST-VALUE) 
(DEFPROP EVERY-FUN |page 43| JUST-VALUE) 
(DEFPROP SOME-FUN |page 43| JUST-VALUE) 
(DEFPROP MAP-FUN |page 42| JUST-VALUE) 
(DEFPROP REPLACE-FUN |page 42| JUST-VALUE) 
(DEFPROP FILL-FUN |page 41| JUST-VALUE) 
(DEFPROP NREVERSE-FUN |page 41| JUST-VALUE) 
(DEFPROP REVERSE-FUN |page 41| JUST-VALUE) 
(DEFPROP COPY-SEQ-FUN |page 41| JUST-VALUE) 
(DEFPROP SUBSEQ-FUN |page 41| JUST-VALUE) 
(DEFPROP CONCATENATE-FUN |page 41| JUST-VALUE) 
(DEFPROP MAKE-SEQUENCE-FUN |page 40| JUST-VALUE) 
(DEFPROP LENGTH-FUN |page 40| JUST-VALUE) 
(DEFPROP ELT-FUN |page 40| JUST-VALUE) 
(DEFPROP SEQUENCE-SECTION-PAGE |chapter 7, page 40| JUST-VALUE) 
(DEFPROP SEQUENCE-CHAPTER-NUMBER /7 JUST-VALUE) 
(DEFPROP ASSQ-FUN |page 39| JUST-VALUE) 
(DEFPROP PAIRLIS-FUN |page 39| JUST-VALUE) 
(DEFPROP RASSOC-FUN |page 39| JUST-VALUE) 
(DEFPROP ASSOC-FUN |page 39| JUST-VALUE) 
(DEFPROP ADJOIN-FUN |page 38| JUST-VALUE) 
(DEFPROP SUBSETP-FUN |page 38| JUST-VALUE) 
(DEFPROP SET-EXCLUSIVE-OR-FUN |page 38| JUST-VALUE) 
(DEFPROP SET-DIFFERENCE-FUN |page 38| JUST-VALUE) 
(DEFPROP INTERSECTION-FUN |page 38| JUST-VALUE) 
(DEFPROP UNION-FUN |page 38| JUST-VALUE) 
(DEFPROP MEMQ-FUN |page 38| JUST-VALUE) 
(DEFPROP MEMBER-FUN |page 38| JUST-VALUE) 
(DEFPROP NSUBLIS-FUN |page 37| JUST-VALUE) 
(DEFPROP SUBLIS-FUN |page 37| JUST-VALUE) 
(DEFPROP NSUBST-FUN |page 37| JUST-VALUE) 
(DEFPROP SUBST-FUN |page 37| JUST-VALUE) 
(DEFPROP NTHCDR-FUN |page 36| JUST-VALUE) 
(DEFPROP NTH-FUN |page 36| JUST-VALUE) 
(DEFPROP REST-FUN |page 36| JUST-VALUE) 
(DEFPROP TENTH-FUN |page 36| JUST-VALUE) 
(DEFPROP NINTH-FUN |page 36| JUST-VALUE) 
(DEFPROP EIGHTH-FUN |page 36| JUST-VALUE) 
(DEFPROP SEVENTH-FUN |page 36| JUST-VALUE) 
(DEFPROP SIXTH-FUN |page 36| JUST-VALUE) 
(DEFPROP FIFTH-FUN |page 36| JUST-VALUE) 
(DEFPROP FOURTH-FUN |page 36| JUST-VALUE) 
(DEFPROP THIRD-FUN |page 36| JUST-VALUE) 
(DEFPROP SECOND-FUN |page 36| JUST-VALUE) 
(DEFPROP FIRST-FUN |page 36| JUST-VALUE) 
(DEFPROP COPY-TREE-FUN |page 36| JUST-VALUE) 
(DEFPROP COPY-ALIST-FUN |page 36| JUST-VALUE) 
(DEFPROP COPY-LIST-FUN |page 35| JUST-VALUE) 
(DEFPROP LIST-LENGTH-FUN |page 35| JUST-VALUE) 
(DEFPROP NCONC-FUN |page 35| JUST-VALUE) 
(DEFPROP LAST-FUN |page 35| JUST-VALUE) 
(DEFPROP APPEND-FUN |page 35| JUST-VALUE) 
(DEFPROP MAKE-LIST-FUN |page 35| JUST-VALUE) 
(DEFPROP LIST*-FUN |page 34| JUST-VALUE) 
(DEFPROP LIST-FUN |page 34| JUST-VALUE) 
(DEFPROP XCONS-FUN |page 34| JUST-VALUE) 
(DEFPROP NCONS-FUN |page 34| JUST-VALUE) 
(DEFPROP CONS-FUN |page 34| JUST-VALUE) 
(DEFPROP RPLACD-FUN |page 34| JUST-VALUE) 
(DEFPROP RPLACA-FUN |page 34| JUST-VALUE) 
(DEFPROP |C....R-FUN| |page 34| JUST-VALUE) 
(DEFPROP CDR-FUN |page 34| JUST-VALUE) 
(DEFPROP CAR-FUN |page 34| JUST-VALUE) 
(DEFPROP GET-PROPERTIES-FUN |page 45| JUST-VALUE) 
(DEFPROP REMF-FUN |page 32| JUST-VALUE) 
(DEFPROP GETF-FUN |page 31| JUST-VALUE) 
(DEFPROP ROTATEF-FUN |page 31| JUST-VALUE) 
(DEFPROP SHIFTF-FUN |page 31| JUST-VALUE) 
(DEFPROP DECF-FUN |page 31| JUST-VALUE) 
(DEFPROP INCF-FUN |page 31| JUST-VALUE) 
(DEFPROP POP-FUN |page 31| JUST-VALUE) 
(DEFPROP PUSH-FUN |page 31| JUST-VALUE) 
(DEFPROP SETF-FUN |page 30| JUST-VALUE) 
(DEFPROP SETF-SECTION-PAGE |section 5.7, page 30| JUST-VALUE) 
(DEFPROP MULTIPLE-VALUE-LIST-FUN |page 30| JUST-VALUE) 
(DEFPROP MULTIPLE-VALUE-BIND-FUN |page 29| JUST-VALUE) 
(DEFPROP MULTIPLE-VALUE-FUN |page 29| JUST-VALUE) 
(DEFPROP VALUES-VECTOR-FUN |page 29| JUST-VALUE) 
(DEFPROP VALUES-LIST-FUN |page 29| JUST-VALUE) 
(DEFPROP VALUES-FUN |page 29| JUST-VALUE) 
(DEFPROP *THROW-FUN |page 28| JUST-VALUE) 
(DEFPROP *CATCH-FUN |page 28| JUST-VALUE) 
(DEFPROP UNWIND-PROTECT-FUN |page 28| JUST-VALUE) 
(DEFPROP THROW-FUN |page 28| JUST-VALUE) 
(DEFPROP CATCH-FUN |page 28| JUST-VALUE) 
(DEFPROP PROG-FUN |page 27| JUST-VALUE) 
(DEFPROP GO-FUN |page 27| JUST-VALUE) 
(DEFPROP TAGBODY-FUN |page 27| JUST-VALUE) 
(DEFPROP RETURN-FROM-FUN |page 27| JUST-VALUE) 
(DEFPROP RETURN-FUN |page 26| JUST-VALUE) 
(DEFPROP BLOCK-FUN |page 26| JUST-VALUE) 
(DEFPROP BLOCK-TAGBODY-SECTION-PAGE |section 5.4.3, page 26| JUST-VALUE) 
(DEFPROP LOOP-FUN |page 123| JUST-VALUE) 
(DEFPROP DOVECTOR-FUN |page 26| JUST-VALUE) 
(DEFPROP DOLIST-FUN |page 26| JUST-VALUE) 
(DEFPROP DOTIMES-FUN |page 26| JUST-VALUE) 
(DEFPROP MAPCON-FUN |page 24| JUST-VALUE) 
(DEFPROP MAPCAN-FUN |page 24| JUST-VALUE) 
(DEFPROP MAPLIST-FUN |page 24| JUST-VALUE) 
(DEFPROP MAPCAR-FUN |page 24| JUST-VALUE) 
(DEFPROP MAPL-FUN |page 24| JUST-VALUE) 
(DEFPROP MAPC-FUN |page 24| JUST-VALUE) 
(DEFPROP TYPECASE-FUN |page 24| JUST-VALUE) 
(DEFPROP CASE-FUN |page 23| JUST-VALUE) 
(DEFPROP OR-FUN |page 23| JUST-VALUE) 
(DEFPROP AND-FUN |page 23| JUST-VALUE) 
(DEFPROP UNLESS-FUN |page 22| JUST-VALUE) 
(DEFPROP WHEN-FUN |page 22| JUST-VALUE) 
(DEFPROP COND-FUN |page 22| JUST-VALUE) 
(DEFPROP NOT-FUN |page 21| JUST-VALUE) 
(DEFPROP IF-FUN |page 21| JUST-VALUE) 
(DEFPROP PROGWF-FUN |page 21| JUST-VALUE) 
(DEFPROP PROGWQ-FUN |page 21| JUST-VALUE) 
(DEFPROP PROGW-FUN |page 21| JUST-VALUE) 
(DEFPROP PROGV-FUN |page 20| JUST-VALUE) 
(DEFPROP LET*-FUN |page 20| JUST-VALUE) 
(DEFPROP LET-FUN |page 19| JUST-VALUE) 
(DEFPROP EVAL-WHEN-FUN |page 19| JUST-VALUE) 
(DEFPROP SPECIAL-FUN |page 18| JUST-VALUE) 
(DEFPROP DEFCONSTANT-FUN |page 18| JUST-VALUE) 
(DEFPROP DEFPARAMETER-FUN |page 18| JUST-VALUE) 
(DEFPROP DEFVAR-FUN |page 18| JUST-VALUE) 
(DEFPROP MACRO-FUN |page 18| JUST-VALUE) 
(DEFPROP DEFMACRO-FUN |page 17| JUST-VALUE) 
(DEFPROP DEFUN-FUN |page 17| JUST-VALUE) 
(DEFPROP EQUAL-FUN |page 16| JUST-VALUE) 
(DEFPROP EQL-FUN |page 16| JUST-VALUE) 
(DEFPROP EQ-FUN |page 15| JUST-VALUE) 
(DEFPROP CLOSUREP-FUN |page 15| JUST-VALUE) 
(DEFPROP BIGP-FUN |page 15| JUST-VALUE) 
(DEFPROP FLOATP-FUN |page 15| JUST-VALUE) 
(DEFPROP NUMBERP-FUN |page 15| JUST-VALUE) 
(DEFPROP VECTORP-FUN |page 15| JUST-VALUE) 
(DEFPROP STRINGP-FUN |page 15| JUST-VALUE) 
(DEFPROP STRING-CHAR-P-FUN |page 15| JUST-VALUE) 
(DEFPROP CHARACTERP-FUN |page 74| JUST-VALUE) 
(DEFPROP FIXNUMP-FUN |page 14| JUST-VALUE) 
(DEFPROP LISTP-FUN |page 14| JUST-VALUE) 
(DEFPROP CONSP-FUN |page 14| JUST-VALUE) 
(DEFPROP SYMBOLP-FUN |page 14| JUST-VALUE) 
(DEFPROP NULL-FUN |page 14| JUST-VALUE) 
(DEFPROP TYPEP-FUN |page 14| JUST-VALUE) 
(DEFPROP STACK-VECTOR-SECTION-PAGE |section 3.1, page 12| JUST-VALUE) 
(DEFPROP LAMBDA-LIST-SECTION-PAGE |section 3.1, page 10| JUST-VALUE) 
(DEFPROP NIL-VALUE-CELL-AND-BINDINGS-SECTION-PAGE |chapter 3, page 8| JUST-VALUE) 
(DEFPROP SCOPE-EXTENT-AND-BINDING-SECTION-PAGE |chapter 3, page 8| JUST-VALUE) 
(DEFPROP SCOPE-EXTENT-AND-BINDING-CHAPTER-NUMBER /3 JUST-VALUE) 
(DEFPROP FLOATING-POINT-SYNTAX-SECTION-PAGE |section 2.1.2, page 4| JUST-VALUE) 
(DEFPROP NUMBER-TYPES-SECTION-PAGE |section 2.1, page 3| JUST-VALUE) 

