1(* --------------------------------------------------------------------- *) 2(* Copyright (c) Jim Grundy 1992 *) 3(* *) 4(* Jim Grundy, hereafter referred to as `the Author', retains the *) 5(* copyright and all other legal rights to the Software contained in *) 6(* this file, hereafter referred to as `the Software'. *) 7(* *) 8(* The Software is made available free of charge on an `as is' basis. *) 9(* No guarantee, either express or implied, of maintenance, reliability *) 10(* or suitability for any purpose is made by the Author. *) 11(* *) 12(* The user is granted the right to make personal or internal use *) 13(* of the Software provided that both: *) 14(* 1. The Software is not used for commercial gain. *) 15(* 2. The user shall not hold the Author liable for any consequences *) 16(* arising from use of the Software. *) 17(* *) 18(* The user is granted the right to further distribute the Software *) 19(* provided that both: *) 20(* 1. The Software and this statement of rights is not modified. *) 21(* 2. The Software does not form part or the whole of a system *) 22(* distributed for commercial gain. *) 23(* *) 24(* The user is granted the right to modify the Software for personal or *) 25(* internal use provided that all of the following conditions are *) 26(* observed: *) 27(* 1. The user does not distribute the modified software. *) 28(* 2. The modified software is not used for commercial gain. *) 29(* 3. The Author retains all rights to the modified software. *) 30(* *) 31(* Anyone seeking a licence to use this software for commercial purposes*) 32(* is invited to contact the Author. *) 33(* ---------------------------------------------------------------------*) 34 35(*$Id$*) 36 37(* Translated to hol90 by David Shepherd, April 1993 *) 38