;;;; The original version of this code was copyright (c) 1999-2000 Cadabra Inc.
;;;; It was placed in the public domain by Cadabra in January 2000.
;;;;
;;;; The implementors of the original version were Winton Davies
;;;; <wdavies@cadabra.com> and William Newman <william.newman@airmail.net>.
;;;; The original version of this code was copyright (c) 1999-2000 Cadabra Inc.
;;;; It was placed in the public domain by Cadabra in January 2000.
;;;;
;;;; The implementors of the original version were Winton Davies
;;;; <wdavies@cadabra.com> and William Newman <william.newman@airmail.net>.