changeset 39443 | e330437cd22a |
parent 39353 | 7f11d833d65b |
child 39444 | beabb8443ee4 |
--- a/src/Tools/Metis/src/Term.sig Wed Sep 15 22:24:35 2010 +0200 +++ b/src/Tools/Metis/src/Term.sig Thu Sep 16 07:24:04 2010 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FIRST ORDER LOGIC TERMS *) -(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *) +(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license *) (* ========================================================================= *) signature Term =