RSL Type Checker
   Copyright (C) 1998 UNU/IIST

   LICENSE

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.

   To build the program you will need to obtain the Gentle Compiler
   Construction System, which you can obtain from
   http://gentle.compilertools.net/.  If you modify the program and
   distribute such a modified version this has to be done under the
   terms of the GNU General Public License.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.