
(DEFPROP ACTUALLY-USING-THINGS-SECTION-PAGE |section 6.3, page 25| JUST-VALUE) 
(DEFPROP PRINT-VIA-PRETTY-PRINTER-FUN |page 25| JUST-VALUE) 
(DEFPROP SUMMARY-SECTION-PAGE |chapter 6, page 23| JUST-VALUE) 
(DEFPROP *PPCODE-SHOW-MACRO-EXPANSIONS-VAR |page 22| JUST-VALUE) 
(DEFPROP *PPCODE-DEFAULT-FUNCTION-FORMAT-DESCRIPTION-VAR |page 21| JUST-VALUE) 
(DEFPROP PPCODE-COMMON-LISP-ANAPHOR-WRAPPER-FUN |page 20| JUST-VALUE) 
(DEFPROP PPCODE-COMMON-LISP-ANAPHOR-HACKER-FUN |page 20| JUST-VALUE) 
(DEFPROP PPCODE-DEFAULT-ANAPHOR-HACKER-FUN |page 19| JUST-VALUE) 
(DEFPROP *PRETTY-PRINT-ANAPHORA?-VAR |page 19| JUST-VALUE) 
(DEFPROP PRETTY-PRINT-FUN |page 19| JUST-VALUE) 
(DEFPROP PRETTY-PRIN1-FUN |page 19| JUST-VALUE) 
(DEFPROP PP-FROM-FORMAT-DESCRIPTION-FUN |page 16| JUST-VALUE) 
(DEFPROP PRETTY-PRINT-DATUM-FUN |page 15| JUST-VALUE) 
(DEFPROP PRETTY-PRIN1-DATUM-FUN |page 15| JUST-VALUE) 
(DEFPROP PP-FIXED-SERIES-WITH-BRACKETS-FUN |page 15| JUST-VALUE) 
(DEFPROP PP-FIXED-SERIES-FUN |page 15| JUST-VALUE) 
(DEFPROP PP-WRITE-LIST-AS-SERIES-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-DISPATCH-1-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-DISPATCH-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-CALL-ANAPHOR-DISPATCH-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-HUNK-ANAPHOR-DISPATCH-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-LIST-ANAPHOR-DISPATCH-FUN |page 14| JUST-VALUE) 
(DEFPROP PP-INITIALIZE-BRACKET-DEPTH-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-CALL-DISPATCH-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-LIST-WRAPPER-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-DEFAULT-LIST-FORMAT-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-LIST-NON-ATOM-FORMAT-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-LIST-ATOM-FORMAT-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-LIST-SYMBOL-FORMAT-FUN |page 13| JUST-VALUE) 
(DEFPROP PP-DUMB-LIST-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-CAREFUL-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-HUNK-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-ATOM-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-NUMBER-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-FLONUM-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-INTEGER-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-SYMBOL-FORMAT-FUN |page 12| JUST-VALUE) 
(DEFPROP PP-USE-PRIN1-STYLE-FUN |page 11| JUST-VALUE) 
(DEFPROP *PP-USE-PRIN1-STYLE?-VAR |page 11| JUST-VALUE) 
(DEFPROP PP-DEFAULT-ATOM-FORMAT-FUN |page 11| JUST-VALUE) 
(DEFPROP PP-DEFAULT-SYMBOL-FORMAT-FUN |page 11| JUST-VALUE) 
(DEFPROP PP-TRUNCATE?-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-CHECK-LENGTH-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-LENGTH-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-ATOMIC-WITHOUT-ANAPHORA?-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-ATOMIC?-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-INSIDE-OBJECT?-FUN |page 10| JUST-VALUE) 
(DEFPROP PP-ANAPHOR-INDEX-FUN |page 9| JUST-VALUE) 
(DEFPROP PP-ANAPHOR-WRAP-FUN |page 9| JUST-VALUE) 
(DEFPROP PP-ANAPHOR-DISPATCH-ON-SUBPART-FUN |page 9| JUST-VALUE) 
(DEFPROP PP-WITH-ANAPHORA-CHECKING-FUN |page 9| JUST-VALUE) 
(DEFPROP PP-ANAPHOR-DISPATCH-FUN |page 8| JUST-VALUE) 
(DEFPROP PP-ENVIRONMENT-FUN |page 7| JUST-VALUE) 
(DEFPROP WRITE-INTEGER-IN-DECIMAL-FUN |page 6| JUST-VALUE) 
(DEFPROP WRITE-KEYWORD-IN-PRIN1-STYLE-FUN |page 6| JUST-VALUE) 
(DEFPROP WRITE-NON-SYMBOL-ATOM-FUN |page 6| JUST-VALUE) 
(DEFPROP WRITE-SYMBOL-IN-PRIN1-STYLE-FUN |page 6| JUST-VALUE) 
(DEFPROP WRITE-ATOM-IN-PRIN1-STYLE-FUN |page 5| JUST-VALUE) 
(DEFPROP WRITE-CHARACTER-FUN |page 5| JUST-VALUE) 
(DEFPROP WRITE-SPELLING-FUN |page 5| JUST-VALUE) 
(DEFPROP BODY-COMING-FUN |page 5| JUST-VALUE) 
(DEFPROP WRITE-HEAD-THEN-BODY-FUN |page 5| JUST-VALUE) 
(DEFPROP LAST-ELEMENT-COMING-FUN |page 4| JUST-VALUE) 
(DEFPROP NEXT-ELEMENT-COMING-FUN |page 4| JUST-VALUE) 
(DEFPROP SERIES-SEPARATION-FUN |page 4| JUST-VALUE) 
(DEFPROP WRITE-SERIES-FUN |page 4| JUST-VALUE) 
(DEFPROP WRITE-WITH-BRACKETS-FUN |page 3| JUST-VALUE) 
(DEFPROP WRITE-WITH-SUFFIX-FUN |page 3| JUST-VALUE) 
(DEFPROP WRITE-WITH-PREFIX-FUN |page 3| JUST-VALUE) 
(DEFPROP SET-UP-FOR-FLATSIZING-FUN |page 3| JUST-VALUE) 
(DEFPROP SET-UP-FOR-PRINTING-FUN |page 2| JUST-VALUE) 
(DEFPROP WRITE-AFRESH-FUN |page 2| JUST-VALUE) 
(DEFPROP WRITE-SECTION-PAGE |chapter 2, page 2| JUST-VALUE) 

