changeset 39444 | beabb8443ee4 |
parent 39443 | e330437cd22a |
child 39501 | aaa7078fff55 |
--- a/src/Tools/Metis/src/Units.sig Thu Sep 16 07:24:04 2010 +0200 +++ b/src/Tools/Metis/src/Units.sig Thu Sep 16 07:30:15 2010 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* A STORE FOR UNIT THEOREMS *) -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license *) +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Units =