The Hugs 98 system is Copyright (c) Mark P Jones, Alastair Reid, the
Yale Haskell Group, and the OGI School of Science & Engineering at
OHSU, 1994-2003, All rights reserved.