changeset 39501 | aaa7078fff55 |
parent 39444 | beabb8443ee4 |
child 39502 | cffceed8e7fa |
--- a/src/Tools/Metis/src/Term.sig Fri Sep 17 01:22:01 2010 +0200 +++ b/src/Tools/Metis/src/Term.sig Fri Sep 17 01:56:19 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 =