(* (3-LISP) to start up 3-LISP. to reset 3-LISP tower. to return to Interlisp. 3-LISP (LOGOUT) erases all non-system bindings. *)