| changeset 39502 | cffceed8e7fa |
| parent 39501 | aaa7078fff55 |
| child 72004 | 913162a47d9f |
--- a/src/Tools/Metis/src/Lazy.sig Fri Sep 17 01:56:19 2010 +0200 +++ b/src/Tools/Metis/src/Lazy.sig Fri Sep 17 01:58:21 2010 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* SUPPORT FOR LAZY EVALUATION *) -(* Copyright (c) 2007 Joe Hurd, distributed under the MIT license *) +(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Lazy =