                                               Twelf 1.5


Copyright (C) 1997-2002, Frank Pfenning and Carsten Schuermann.
This software is protected by copyright and international treaties.

Unauthorized reproduction or distribution of this software, or any portion
of it, may result in severe civil and criminal penalties, and will be
prosecuted to the maximum extent possible under law.