Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!usc!ginosko!uunet!yale!Duchier-Denys From: Duchier-Denys@cs.yale.edu (Denys Duchier) Newsgroups: comp.lang.lisp Subject: printing symbols (was: DeKleer's ATMS: the continuing saga) Message-ID: <70974@yale-celray.yale.UUCP> Date: 29 Aug 89 15:59:00 GMT References: <19543@usc.edu> Sender: root@yale.UUCP Reply-To: Duchier-Denys@cs.yale.edu (Denys Duchier) Organization: Computer Science, Yale University, New Haven, CT 06520-2158 Lines: 3 In-reply-to: burke@pollux.usc.edu (Sean Burke) see variable *print-case* p372 of CLtL. --Denys