anchor.diff:    (defun state-names (states)
       "The list of names of states."
       (mapcar (function first) states))
  -  
  +
     (defun slot-names (slots)
       "The list of names of slots."
       (mapcar (lambda (slot)
  
positive.code: ;;;;SYSTEM:             Common-Lisp
  ;;;;USER-INTERFACE:     NONE
  ;;;;DESCRIPTION
  ;;;;    
  ;;;;    Implements a DFA, Deterministic Finite Automaton
  ;;;;    (or Deterministic Finite State Machine).
  ;;;;    
  ;;;;AUTHORS
  ;;;;    <PJB> Pascal J. Bourguignon <pjb@informatimago.com>
  ;;;;MODIFICATIONS
  
negative.code:   (:export
     "DFA" "DFA-STATE" "DEFINE-STATE-MACHINE" "ON-ENTRY" "ON-EXIT"
     "GO-TO-STATE")
  
    (:documentation "
  
  This package implements a DFA, Deterministic Finite Automaton (or
  