# HG changeset patch
# User blanchet
# Date 1284615015 -7200
# Node ID beabb8443ee4327d68f8c8e6323fdd10108482a4
# Parent  e330437cd22a55bbcf47b5998ac45a14d5b59fb1
MIT license -> BSD License

diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/Makefile
--- a/src/Tools/Metis/Makefile	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/Makefile	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 ###############################################################################
 # METIS MAKEFILE
-# Copyright (c) 2001 Joe Hurd, distributed under the MIT license
+# Copyright (c) 2001 Joe Hurd, distributed under the BSD License
 ###############################################################################
 
 .SUFFIXES:
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/README
--- a/src/Tools/Metis/README	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/README	Thu Sep 16 07:30:15 2010 +0200
@@ -13,13 +13,10 @@
     July 2010.
 
  2. The license in each source file will probably not be something we
-    can use in Isabelle. Lawrence C. Paulson's command
-
-        perl -p -i~ -w -e 's/MIT license/BSD License/g' *sig *sml
-
-    run in the "src/" directory should do the trick. In a 13 Sept.
-    2010 email to Gerwin Klein, Joe Hurd, the sole copyright holder of
-    Metis, wrote:
+    can use in Isabelle. The "fix_metis_license" script can be run to
+    replace all occurrences of "MIT license" with "BSD License". In a
+    13 Sept. 2010 email to Gerwin Klein, Joe Hurd, the sole copyright
+    holder of Metis, wrote:
 
         I hereby give permission to the Isabelle team to release Metis
         as part of Isabelle, with the Metis code covered under the
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/scripts/mlpp
--- a/src/Tools/Metis/scripts/mlpp	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/scripts/mlpp	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 #!/usr/bin/perl
 
-# Copyright (c) 2006 Joe Hurd, distributed under the MIT license
+# Copyright (c) 2006 Joe Hurd, distributed under the BSD License
 
 use strict;
 use warnings;
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Active.sig
--- a/src/Tools/Metis/src/Active.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Active.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE ACTIVE SET OF CLAUSES                                                 *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Active =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Active.sml
--- a/src/Tools/Metis/src/Active.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Active.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE ACTIVE SET OF CLAUSES                                                 *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Active :> Active =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Atom.sig
--- a/src/Tools/Metis/src/Atom.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC ATOMS                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Atom =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Atom.sml
--- a/src/Tools/Metis/src/Atom.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC ATOMS                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Atom :> Atom =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/AtomNet.sig
--- a/src/Tools/Metis/src/AtomNet.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature AtomNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/AtomNet.sml
--- a/src/Tools/Metis/src/AtomNet.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure AtomNet :> AtomNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Clause.sig
--- a/src/Tools/Metis/src/Clause.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sig	Thu Sep 16 07:30:15 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 =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Clause.sml
--- a/src/Tools/Metis/src/Clause.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sml	Thu Sep 16 07:30:15 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            *)
 (* ========================================================================= *)
 
 structure Clause :> Clause =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/ElementSet.sig
--- a/src/Tools/Metis/src/ElementSet.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE SETS WITH A FIXED ELEMENT TYPE                                     *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature ElementSet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/ElementSet.sml
--- a/src/Tools/Metis/src/ElementSet.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE SETS WITH A FIXED ELEMENT TYPE                                     *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 functor ElementSet (KM : KeyMap) :> ElementSet
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Formula.sig
--- a/src/Tools/Metis/src/Formula.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC FORMULAS                                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Formula =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Formula.sml
--- a/src/Tools/Metis/src/Formula.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC FORMULAS                                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Formula :> Formula =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Heap.sig
--- a/src/Tools/Metis/src/Heap.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A HEAP DATATYPE FOR ML                                                    *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Heap =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Heap.sml
--- a/src/Tools/Metis/src/Heap.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A HEAP DATATYPE FOR ML                                                    *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Heap :> Heap =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/KeyMap.sig
--- a/src/Tools/Metis/src/KeyMap.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE MAPS WITH A FIXED KEY TYPE                                         *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature KeyMap =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/KeyMap.sml
--- a/src/Tools/Metis/src/KeyMap.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE MAPS WITH A FIXED KEY TYPE                                         *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 functor KeyMap (Key : Ordered) :> KeyMap where type key = Key.t =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/KnuthBendixOrder.sig
--- a/src/Tools/Metis/src/KnuthBendixOrder.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE KNUTH-BENDIX TERM ORDERING                                            *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature KnuthBendixOrder =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/KnuthBendixOrder.sml
--- a/src/Tools/Metis/src/KnuthBendixOrder.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* KNUTH-BENDIX TERM ORDERING CONSTRAINTS                                    *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure KnuthBendixOrder :> KnuthBendixOrder =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Lazy.sig
--- a/src/Tools/Metis/src/Lazy.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SUPPORT FOR LAZY EVALUATION                                               *)
-(* Copyright (c) 2007 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Lazy =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Lazy.sml
--- a/src/Tools/Metis/src/Lazy.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SUPPORT FOR LAZY EVALUATION                                               *)
-(* Copyright (c) 2007 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Lazy :> Lazy =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Literal.sig
--- a/src/Tools/Metis/src/Literal.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC LITERALS                                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Literal =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Literal.sml
--- a/src/Tools/Metis/src/Literal.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC LITERALS                                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Literal :> Literal =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/LiteralNet.sig
--- a/src/Tools/Metis/src/LiteralNet.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS           *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature LiteralNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/LiteralNet.sml
--- a/src/Tools/Metis/src/LiteralNet.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS           *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure LiteralNet :> LiteralNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Map.sig
--- a/src/Tools/Metis/src/Map.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Map.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Map =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Map.sml
--- a/src/Tools/Metis/src/Map.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Map.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Map :> Map =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Model.sig
--- a/src/Tools/Metis/src/Model.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Model.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* RANDOM FINITE MODELS                                                      *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Model =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Model.sml
--- a/src/Tools/Metis/src/Model.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Model.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* RANDOM FINITE MODELS                                                      *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Model :> Model =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Name.sig
--- a/src/Tools/Metis/src/Name.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Name.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NAMES                                                                     *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Name =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Name.sml
--- a/src/Tools/Metis/src/Name.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Name.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NAMES                                                                     *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Name :> Name =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/NameArity.sig
--- a/src/Tools/Metis/src/NameArity.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NAME/ARITY PAIRS                                                          *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature NameArity =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/NameArity.sml
--- a/src/Tools/Metis/src/NameArity.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NAME/ARITY PAIRS                                                          *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure NameArity :> NameArity =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Normalize.sig
--- a/src/Tools/Metis/src/Normalize.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NORMALIZING FORMULAS                                                      *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Normalize =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Normalize.sml
--- a/src/Tools/Metis/src/Normalize.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* NORMALIZING FORMULAS                                                      *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Normalize :> Normalize =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Options.sig
--- a/src/Tools/Metis/src/Options.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Options.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PROCESSING COMMAND LINE OPTIONS                                           *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Options =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Options.sml
--- a/src/Tools/Metis/src/Options.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Options.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PROCESSING COMMAND LINE OPTIONS                                           *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Options :> Options =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Ordered.sig
--- a/src/Tools/Metis/src/Ordered.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ORDERED TYPES                                                             *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Ordered =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Ordered.sml
--- a/src/Tools/Metis/src/Ordered.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ORDERED TYPES                                                             *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure IntOrdered =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Parse.sig
--- a/src/Tools/Metis/src/Parse.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PARSING                                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Parse =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Parse.sml
--- a/src/Tools/Metis/src/Parse.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PARSING                                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Parse :> Parse =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Portable.sig
--- a/src/Tools/Metis/src/Portable.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Portable.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ML COMPILER SPECIFIC FUNCTIONS                                            *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Portable =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/PortableMlton.sml
--- a/src/Tools/Metis/src/PortableMlton.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/PortableMlton.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MLTON SPECIFIC FUNCTIONS                                                  *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Portable :> Portable =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/PortableMosml.sml
--- a/src/Tools/Metis/src/PortableMosml.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/PortableMosml.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MOSCOW ML SPECIFIC FUNCTIONS                                              *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Portable :> Portable =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/PortablePolyml.sml
--- a/src/Tools/Metis/src/PortablePolyml.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/PortablePolyml.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* POLY/ML SPECIFIC FUNCTIONS                                                *)
-(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Portable :> Portable =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Print.sig
--- a/src/Tools/Metis/src/Print.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Print.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PRETTY-PRINTING                                                           *)
-(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Print =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Print.sml
--- a/src/Tools/Metis/src/Print.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Print.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PRETTY-PRINTING                                                           *)
-(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Print :> Print =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Problem.sig
--- a/src/Tools/Metis/src/Problem.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* CNF PROBLEMS                                                              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Problem =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Problem.sml
--- a/src/Tools/Metis/src/Problem.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* CNF PROBLEMS                                                              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Problem :> Problem =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Proof.sig
--- a/src/Tools/Metis/src/Proof.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PROOFS IN FIRST ORDER LOGIC                                               *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Proof =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Proof.sml
--- a/src/Tools/Metis/src/Proof.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PROOFS IN FIRST ORDER LOGIC                                               *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Proof :> Proof =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Resolution.sig
--- a/src/Tools/Metis/src/Resolution.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE RESOLUTION PROOF PROCEDURE                                            *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Resolution =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Resolution.sml
--- a/src/Tools/Metis/src/Resolution.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE RESOLUTION PROOF PROCEDURE                                            *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Resolution :> Resolution =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Rewrite.sig
--- a/src/Tools/Metis/src/Rewrite.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ORDERED REWRITING FOR FIRST ORDER TERMS                                   *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Rewrite =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Rewrite.sml
--- a/src/Tools/Metis/src/Rewrite.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ORDERED REWRITING FOR FIRST ORDER TERMS                                   *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Rewrite :> Rewrite =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Rule.sig
--- a/src/Tools/Metis/src/Rule.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS                     *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Rule =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Rule.sml
--- a/src/Tools/Metis/src/Rule.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS                     *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Rule :> Rule =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Set.sig
--- a/src/Tools/Metis/src/Set.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Set.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Set =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Set.sml
--- a/src/Tools/Metis/src/Set.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Set.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Set :> Set =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Sharing.sig
--- a/src/Tools/Metis/src/Sharing.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PRESERVING SHARING OF ML VALUES                                           *)
-(* Copyright (c) 2005 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2005 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Sharing =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Sharing.sml
--- a/src/Tools/Metis/src/Sharing.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* PRESERVING SHARING OF ML VALUES                                           *)
-(* Copyright (c) 2005 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2005 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Sharing :> Sharing =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Stream.sig
--- a/src/Tools/Metis/src/Stream.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Stream =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Stream.sml
--- a/src/Tools/Metis/src/Stream.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML                                *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Stream :> Stream =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Subst.sig
--- a/src/Tools/Metis/src/Subst.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC SUBSTITUTIONS                                           *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Subst =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Subst.sml
--- a/src/Tools/Metis/src/Subst.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC SUBSTITUTIONS                                           *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Subst :> Subst =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Subsume.sig
--- a/src/Tools/Metis/src/Subsume.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES                        *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Subsume =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Subsume.sml
--- a/src/Tools/Metis/src/Subsume.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES                        *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Subsume :> Subsume =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Term.sig
--- a/src/Tools/Metis/src/Term.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Term.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC TERMS                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Term =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Term.sml
--- a/src/Tools/Metis/src/Term.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Term.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* FIRST ORDER LOGIC TERMS                                                   *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Term :> Term =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/TermNet.sig
--- a/src/Tools/Metis/src/TermNet.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature TermNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/TermNet.sml
--- a/src/Tools/Metis/src/TermNet.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure TermNet :> TermNet =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Thm.sig
--- a/src/Tools/Metis/src/Thm.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS                         *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Thm =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Thm.sml
--- a/src/Tools/Metis/src/Thm.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS                         *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Thm :> Thm =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Tptp.sig
--- a/src/Tools/Metis/src/Tptp.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE TPTP PROBLEM FILE FORMAT                                              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Tptp =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Tptp.sml
--- a/src/Tools/Metis/src/Tptp.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE TPTP PROBLEM FILE FORMAT                                              *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Tptp :> Tptp =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Units.sig
--- 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 =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Units.sml
--- a/src/Tools/Metis/src/Units.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Units.sml	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            *)
 (* ========================================================================= *)
 
 structure Units :> Units =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Useful.sig
--- a/src/Tools/Metis/src/Useful.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ML UTILITY FUNCTIONS                                                      *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Useful =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Useful.sml
--- a/src/Tools/Metis/src/Useful.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ML UTILITY FUNCTIONS                                                      *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Useful :> Useful =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Waiting.sig
--- a/src/Tools/Metis/src/Waiting.sig	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sig	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE WAITING SET OF CLAUSES                                                *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 signature Waiting =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/Waiting.sml
--- a/src/Tools/Metis/src/Waiting.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* THE WAITING SET OF CLAUSES                                                *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Waiting :> Waiting =
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/metis.sml
--- a/src/Tools/Metis/src/metis.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/metis.sml	Thu Sep 16 07:30:15 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;
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/problems.sml
--- a/src/Tools/Metis/src/problems.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/problems.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES                             *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 (* ========================================================================= *)
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/problems2tptp.sml
--- a/src/Tools/Metis/src/problems2tptp.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/problems2tptp.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES                             *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 open Useful;
diff -r e330437cd22a -r beabb8443ee4 src/Tools/Metis/src/selftest.sml
--- a/src/Tools/Metis/src/selftest.sml	Thu Sep 16 07:24:04 2010 +0200
+++ b/src/Tools/Metis/src/selftest.sml	Thu Sep 16 07:30:15 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* METIS TESTS                                                               *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 (* ------------------------------------------------------------------------- *)