1Copyright (c) 1996 by Andreas Leitgeb (AvL) <avl@logic.at> 2 3Permission to use, copy, modify, and distribute this software and its 4documentation for any purpose and without fee is hereby granted, 5provided that the above copyright notice appear in all copies and that 6both that copyright notice and this permission notice appear in 7supporting documentation. 8