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