| changeset 39502 | cffceed8e7fa |
| parent 39501 | aaa7078fff55 |
| child 42102 | fcfd07f122d4 |
--- a/src/Tools/Metis/src/metis.sml Fri Sep 17 01:56:19 2010 +0200 +++ b/src/Tools/Metis/src/metis.sml Fri Sep 17 01:58:21 2010 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* METIS FIRST ORDER PROVER *) -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license *) +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) open Useful;