;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;
;;                                                                          ;;
;;   Copyright (C) 1998 by                                                  ;;
;;     Lehr- und Forschunggebiet Theoretische Informatik                    ;;
;;     RWTH Aachen, 52056 Aachen, Germany                                   ;;
;;   and                                                                    ;;
;;     CIS, Universitaet Muenchen, Oettingerstr. 67, 80538 Muenchen         ;;
;;   All rights reserved.                                                   ;;
;;   For information about this program, write to:                          ;;
;;     UniMoK Project                                                       ;;
;;     Lehr- und Forschunggebiet Theoretische Informatik                    ;;
;;     RWTH Aachen, 52056 Aachen, Germany                                   ;;
;;   electronic mail: baader@informatik.rwth-aachen.de                      ;;
;;                                                                          ;;
;;   The author makes no representations about the suitability of this      ;;
;;   software for any purpose.  It is provided "AS IS" without express or   ;;
;;   implied warranty.  In particular, it must be understood that this      ;;
;;   software is an experimental version, and is not suitable for use in    ;;
;;   any safety-critical application, and the author denies a license for   ;;
;;   such use.                                                              ;;
;;                                                                          ;;
;;   You may use, copy, modify and distribute this software for any         ;;
;;   noncommercial and non-safety-critical purpose.  Use of this software   ;;
;;   in a commercial product is not included under this license.  You must  ;;
;;   maintain this copyright statement in all copies of this software that  ;;
;;   you modify or distribute.                                              ;;
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;