  Copyright (c) 1992 by the University of Edinburgh
  Laboratory for the Foundations of Computer Science
  Department of Computer Science
  Written by Paul Anderson.

  Permission is granted to anyone to use this software for any
  purpose on any computer system, and to redistribute it freely,
  subject to the following restrictions:

  The University of Edinburgh makes no representations about the
  suitability of this software for any purpose.  It is
  provided "as is" without express or implied warranty.

  The origin of this software must not be misrepresented, either by
  explicit claim or by omission, and this copyright notice must appear in
  all copies of the software. Altered versions must be plainly marked
  as such, and must not be misrepresented as being the original software.

  The name of the University of Edinburgh must not be used in
  advertising or publicity pertaining to distribution of the software
  without specific, written prior permission. 
