
(DEFPROP |NIL-0.5-REF| /7 JUST-VALUE) 
(DEFPROP MOONUAL-REF /6 JUST-VALUE) 
(DEFPROP MACLISP-EXTENSIONS-REF /5 JUST-VALUE) 
(DEFPROP LOOP-REF /4 JUST-VALUE) 
(DEFPROP LMMAN-REF /3 JUST-VALUE) 
(DEFPROP COMMONLISP-OVERVIEW-REF /2 JUST-VALUE) 
(DEFPROP COMMONLISP-REF /1 JUST-VALUE) 
(DEFPROP STEVE-LISP-INTERACTION-CSS-NUMBER |16.7| JUST-VALUE) 
(DEFPROP ED-FUN |page 46| JUST-VALUE) 
(DEFPROP GRINDEF-FUN |page 45| JUST-VALUE) 
(DEFPROP PP-FUN |page 45| JUST-VALUE) 
(DEFPROP EXHIBIT-FUN |page 45| JUST-VALUE) 
(DEFPROP *TRACE-BREAK-ARGS*-VAR |page 45| JUST-VALUE) 
(DEFPROP UNTRACE-FUN |page 45| JUST-VALUE) 
(DEFPROP TRACE-FUN |page 44| JUST-VALUE) 
(DEFPROP *BREAK-FUN |page 44| JUST-VALUE) 
(DEFPROP BREAK-FUN |page 44| JUST-VALUE) 
(DEFPROP STEP-FUN |page 44| JUST-VALUE) 
(DEFPROP DEBUG-FUN |page 43| JUST-VALUE) 
(DEFPROP LOAD-FUN |page 43| JUST-VALUE) 
(DEFPROP READ-WITH-PROMPT-FUN |page 42| JUST-VALUE) 
(DEFPROP READLINE-WITH-PROMPT-FUN |page 42| JUST-VALUE) 
(DEFPROP FORMAT-YES-OR-NO-P-FUN |page 41| JUST-VALUE) 
(DEFPROP FORMAT-Y-OR-N-P-FUN |page 41| JUST-VALUE) 
(DEFPROP YES-OR-NO-P-FUN |page 41| JUST-VALUE) 
(DEFPROP Y-OR-N-P-FUN |page 41| JUST-VALUE) 
(DEFPROP FORMAT-FUN |page 41| JUST-VALUE) 
(DEFPROP PRETTY-PRINT-FUN |page 41| JUST-VALUE) 
(DEFPROP PRETTY-PRIN1-FUN |page 40| JUST-VALUE) 
(DEFPROP FRESH-LINE-FUN |page 40| JUST-VALUE) 
(DEFPROP TERPRI-FUN |page 40| JUST-VALUE) 
(DEFPROP PRINT-FUN |page 40| JUST-VALUE) 
(DEFPROP PRIN1-FUN |page 40| JUST-VALUE) 
(DEFPROP PRINC-FUN |page 40| JUST-VALUE) 
(DEFPROP TYO-FUN |page 40| JUST-VALUE) 
(DEFPROP WRITE-CHAR-FUN |page 40| JUST-VALUE) 
(DEFPROP READLINE-FUN |page 39| JUST-VALUE) 
(DEFPROP READ-FUN |page 39| JUST-VALUE) 
(DEFPROP TYIPEEK-FUN |page 39| JUST-VALUE) 
(DEFPROP PEEK-CHAR-FUN |page 39| JUST-VALUE) 
(DEFPROP TYI-FUN |page 39| JUST-VALUE) 
(DEFPROP READ-CHAR-FUN |page 39| JUST-VALUE) 
(DEFPROP QUERY-IO-VAR |page 38| JUST-VALUE) 
(DEFPROP STANDARD-OUTPUT-VAR |page 38| JUST-VALUE) 
(DEFPROP STANDARD-INPUT-VAR |page 38| JUST-VALUE) 
(DEFPROP TERMINAL-IO-VAR |page 38| JUST-VALUE) 
(DEFPROP ARRAY-DIMENSIONS-FUN |page 37| JUST-VALUE) 
(DEFPROP ARRAY-DIMENSION-FUN |page 37| JUST-VALUE) 
(DEFPROP ARRAY-RANK-FUN |page 37| JUST-VALUE) 
(DEFPROP AREF-FUN |page 37| JUST-VALUE) 
(DEFPROP MAKE-ARRAY-FUN |page 37| JUST-VALUE) 
(DEFPROP STRING-DOWNCASE-FUN |page 36| JUST-VALUE) 
(DEFPROP STRING-UPCASE-FUN |page 36| JUST-VALUE) 
(DEFPROP SUBSTRING-FUN |page 36| JUST-VALUE) 
(DEFPROP STRING-LESSP-FUN |page 36| JUST-VALUE) 
(DEFPROP STRING-EQUAL-FUN |page 36| JUST-VALUE) 
(DEFPROP REPLACE-FUN |page 35| JUST-VALUE) 
(DEFPROP FILL-FUN |page 35| JUST-VALUE) 
(DEFPROP NOTEVERY-FUN |page 35| JUST-VALUE) 
(DEFPROP NOTANY-FUN |page 35| JUST-VALUE) 
(DEFPROP EVERY-FUN |page 35| JUST-VALUE) 
(DEFPROP SOME-FUN |page 35| JUST-VALUE) 
(DEFPROP MAP-FUN |page 34| JUST-VALUE) 
(DEFPROP CONCATENATE-FUN |page 34| JUST-VALUE) 
(DEFPROP MAKE-SEQUENCE-FUN |page 34| JUST-VALUE) 
(DEFPROP NREVERSE-FUN |page 34| JUST-VALUE) 
(DEFPROP REVERSE-FUN |page 34| JUST-VALUE) 
(DEFPROP COPY-SEQ-FUN |page 34| JUST-VALUE) 
(DEFPROP SUBSEQ-FUN |page 33| JUST-VALUE) 
(DEFPROP LENGTH-FUN |page 33| JUST-VALUE) 
(DEFPROP ELT-FUN |page 33| JUST-VALUE) 
(DEFPROP SEQUENCE-SECTION-PAGE |section 13.1, page 33| JUST-VALUE) 
(DEFPROP INT-CHAR-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-INT-FUN |page 32| JUST-VALUE) 
(DEFPROP MAKE-CHAR-FUN |page 32| JUST-VALUE) 
(DEFPROP CODE-CHAR-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-FONT-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-BITS-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-CODE-FUN |page 32| JUST-VALUE) 
(DEFPROP CHARACTER-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-GREATERP-FUN |page 32| JUST-VALUE) 
(DEFPROP CHAR-EQUAL-FUN |page 32| JUST-VALUE) 
(DEFPROP FIX-FUN |page 31| JUST-VALUE) 
(DEFPROP FLOAT-FUN |page 31| JUST-VALUE) 
(DEFPROP INTEGER-LENGTH-FUN |page 31| JUST-VALUE) 
(DEFPROP LOGNOT-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGORC2-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGORC1-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGANDC2-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGANDC1-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGNOR-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGNAND-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGEQV-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGXOR-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGIOR-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGAND-FUN |page 30| JUST-VALUE) 
(DEFPROP LOGBITP-FUN |page 30| JUST-VALUE) 
(DEFPROP ATAN-FUN |page 30| JUST-VALUE) 
(DEFPROP ACOS-FUN |page 30| JUST-VALUE) 
(DEFPROP ASIN-FUN |page 30| JUST-VALUE) 
(DEFPROP TANH-FUN |page 30| JUST-VALUE) 
(DEFPROP COSH-FUN |page 30| JUST-VALUE) 
(DEFPROP SINH-FUN |page 30| JUST-VALUE) 
(DEFPROP TAN-FUN |page 30| JUST-VALUE) 
(DEFPROP COS-FUN |page 30| JUST-VALUE) 
(DEFPROP SIN-FUN |page 30| JUST-VALUE) 
(DEFPROP ISQRT-FUN |page 29| JUST-VALUE) 
(DEFPROP SQRT-FUN |page 29| JUST-VALUE) 
(DEFPROP LOG-FUN |page 29| JUST-VALUE) 
(DEFPROP EXP-FUN |page 29| JUST-VALUE) 
(DEFPROP EXPT-FUN |page 29| JUST-VALUE) 
(DEFPROP REMAINDER-FUN |page 29| JUST-VALUE) 
(DEFPROP QUOTIENT-FUN |page 29| JUST-VALUE) 
(DEFPROP //-FUN |page 29| JUST-VALUE) 
(DEFPROP TIMES-FUN |page 29| JUST-VALUE) 
(DEFPROP *-FUN |page 29| JUST-VALUE) 
(DEFPROP DIFFERENCE-FUN |page 29| JUST-VALUE) 
(DEFPROP --FUN |page 28| JUST-VALUE) 
(DEFPROP PLUS-FUN |page 28| JUST-VALUE) 
(DEFPROP +-FUN |page 28| JUST-VALUE) 
(DEFPROP SUB1-FUN |page 28| JUST-VALUE) 
(DEFPROP 1--FUN |page 28| JUST-VALUE) 
(DEFPROP ADD1-FUN |page 28| JUST-VALUE) 
(DEFPROP 1+-FUN |page 28| JUST-VALUE) 
(DEFPROP MINUSP-FUN |page 28| JUST-VALUE) 
(DEFPROP PLUSP-FUN |page 28| JUST-VALUE) 
(DEFPROP ZEROP-FUN |page 28| JUST-VALUE) 
(DEFPROP >-FUN |page 28| JUST-VALUE) 
(DEFPROP >=-FUN |page 28| JUST-VALUE) 
(DEFPROP <=-FUN |page 28| JUST-VALUE) 
(DEFPROP <-FUN |page 28| JUST-VALUE) 
(DEFPROP //=-FUN |page 28| JUST-VALUE) 
(DEFPROP =-FUN |page 28| JUST-VALUE) 
(DEFPROP SETPLIST-FUN |page 27| JUST-VALUE) 
(DEFPROP PLIST-FUN |page 27| JUST-VALUE) 
(DEFPROP REMPROP-FUN |page 27| JUST-VALUE) 
(DEFPROP PUTPROP-FUN |page 27| JUST-VALUE) 
(DEFPROP GET-FUN |page 27| JUST-VALUE) 
(DEFPROP SUBSETP-FUN |page 26| JUST-VALUE) 
(DEFPROP SET-EXCLUSIVE-OR-FUN |page 26| JUST-VALUE) 
(DEFPROP SET-DIFFERENCE-FUN |page 26| JUST-VALUE) 
(DEFPROP INTERSECTION-FUN |page 26| JUST-VALUE) 
(DEFPROP UNION-FUN |page 26| JUST-VALUE) 
(DEFPROP NRECONC-FUN |page 25| JUST-VALUE) 
(DEFPROP LAST-FUN |page 25| JUST-VALUE) 
(DEFPROP NTHCDR-FUN |page 25| JUST-VALUE) 
(DEFPROP NTH-FUN |page 25| JUST-VALUE) 
(DEFPROP NCONC-FUN |page 25| JUST-VALUE) 
(DEFPROP APPEND-FUN |page 25| JUST-VALUE) 
(DEFPROP LIST-FUN |page 25| JUST-VALUE) 
(DEFPROP LIST*-FUN |page 25| JUST-VALUE) 
(DEFPROP XCONS-FUN |page 25| JUST-VALUE) 
(DEFPROP NCONS-FUN |page 25| JUST-VALUE) 
(DEFPROP CONS-FUN |page 25| JUST-VALUE) 
(DEFPROP C****R-FUN |page 25| JUST-VALUE) 
(DEFPROP CDR-FUN |page 25| JUST-VALUE) 
(DEFPROP CAR-FUN |page 25| JUST-VALUE) 
(DEFPROP SETF-FUN |page 24| JUST-VALUE) 
(DEFPROP LOOP-FUN |page 24| JUST-VALUE) 
(DEFPROP PROG-FUN |page 23| JUST-VALUE) 
(DEFPROP GO-FUN |page 23| JUST-VALUE) 
(DEFPROP TAGBODY-FUN |page 23| JUST-VALUE) 
(DEFPROP RETURN-FROM-FUN |page 23| JUST-VALUE) 
(DEFPROP RETURN-FUN |page 23| JUST-VALUE) 
(DEFPROP BLOCK-FUN |page 23| JUST-VALUE) 
(DEFPROP BLOCK-TAGBODY-SECTION-PAGE |section 8.4, page 23| JUST-VALUE) 
(DEFPROP DOVECTOR-FUN |page 23| JUST-VALUE) 
(DEFPROP DOLIST-FUN |page 22| JUST-VALUE) 
(DEFPROP DOTIMES-FUN |page 22| JUST-VALUE) 
(DEFPROP MAPCAN-FUN |page 21| JUST-VALUE) 
(DEFPROP MAPCON-FUN |page 21| JUST-VALUE) 
(DEFPROP MAPCAR-FUN |page 21| JUST-VALUE) 
(DEFPROP MAPLIST-FUN |page 21| JUST-VALUE) 
(DEFPROP MAPC-FUN |page 21| JUST-VALUE) 
(DEFPROP MAPL-FUN |page 21| JUST-VALUE) 
(DEFPROP CASE-FUN |page 21| JUST-VALUE) 
(DEFPROP IF-FUN |page 21| JUST-VALUE) 
(DEFPROP COND-FUN |page 20| JUST-VALUE) 
(DEFPROP LET*-FUN |page 20| JUST-VALUE) 
(DEFPROP LET-FUN |page 20| JUST-VALUE) 
(DEFPROP TYPEP-FUN |page 19| JUST-VALUE) 
(DEFPROP STRINGP-FUN |page 19| JUST-VALUE) 
(DEFPROP VECTORP-FUN |page 19| JUST-VALUE) 
(DEFPROP ARRAYP-FUN |page 19| JUST-VALUE) 
(DEFPROP NUMBERP-FUN |page 19| JUST-VALUE) 
(DEFPROP FLOATP-FUN |page 19| JUST-VALUE) 
(DEFPROP FIXP-FUN |page 19| JUST-VALUE) 
(DEFPROP INTEGERP-FUN |page 19| JUST-VALUE) 
(DEFPROP CONSP-FUN |page 19| JUST-VALUE) 
(DEFPROP LISTP-FUN |page 19| JUST-VALUE) 
(DEFPROP ATOM-FUN |page 19| JUST-VALUE) 
(DEFPROP NOT-FUN |page 19| JUST-VALUE) 
(DEFPROP NULL-FUN |page 19| JUST-VALUE) 
(DEFPROP EQUAL-FUN |page 18| JUST-VALUE) 
(DEFPROP EQL-FUN |page 18| JUST-VALUE) 
(DEFPROP EQ-FUN |page 18| JUST-VALUE) 
(DEFPROP DEFCONSTANT-FUN |page 17| JUST-VALUE) 
(DEFPROP DEFPARAMETER-FUN |page 17| JUST-VALUE) 
(DEFPROP DEFVAR-FUN |page 17| JUST-VALUE) 
(DEFPROP DEFMACRO-FUN |page 16| JUST-VALUE) 
(DEFPROP DEFUN-FUN |page 16| JUST-VALUE) 
(DEFPROP LAMBDA-LIST-SECTION-PAGE |section 6.1, page 15| JUST-VALUE) 
(DEFPROP BINDING-AND-SCOPING-SECTION-PAGE |section 5.1, page 13| JUST-VALUE) 
(DEFPROP PACKAGE-DATA-TYPE-OVERVIEW-SECTION-PAGE |section 4.6.2, page 11| JUST-VALUE) 
(DEFPROP PASSALL-MODE-PAGE |page 7| JUST-VALUE) 
(DEFPROP VMS-SECTION-PAGE |chapter 3, page 5| JUST-VALUE) 
(DEFPROP SAMPLE-SPECFORM-FUN |page 2| JUST-VALUE) 
(DEFPROP *SAMPLE-VARIABLE*-VAR |page 2| JUST-VALUE) 
(DEFPROP SAMPLE-FUNCTION-FUN |page 2| JUST-VALUE) 

