# HG changeset patch
# User blanchet
# Date 1284681501 -7200
# Node ID cffceed8e7fa108893c2b77b9e6ea633c276adcd
# Parent  aaa7078fff55d497d80d72981289e5d34e0991dd
fix license

diff -r aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Active.sig
--- a/src/Tools/Metis/src/Active.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Active.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Active.sml
--- a/src/Tools/Metis/src/Active.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Active.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Atom.sig
--- a/src/Tools/Metis/src/Atom.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Atom.sml
--- a/src/Tools/Metis/src/Atom.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/AtomNet.sig
--- a/src/Tools/Metis/src/AtomNet.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/AtomNet.sml
--- a/src/Tools/Metis/src/AtomNet.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Clause.sig
--- a/src/Tools/Metis/src/Clause.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Clause.sml
--- a/src/Tools/Metis/src/Clause.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/ElementSet.sig
--- a/src/Tools/Metis/src/ElementSet.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/ElementSet.sml
--- a/src/Tools/Metis/src/ElementSet.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Formula.sig
--- a/src/Tools/Metis/src/Formula.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Formula.sml
--- a/src/Tools/Metis/src/Formula.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Heap.sig
--- a/src/Tools/Metis/src/Heap.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Heap.sml
--- a/src/Tools/Metis/src/Heap.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/KeyMap.sig
--- a/src/Tools/Metis/src/KeyMap.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/KeyMap.sml
--- a/src/Tools/Metis/src/KeyMap.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/KnuthBendixOrder.sig
--- a/src/Tools/Metis/src/KnuthBendixOrder.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/KnuthBendixOrder.sml
--- a/src/Tools/Metis/src/KnuthBendixOrder.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Lazy.sig
--- a/src/Tools/Metis/src/Lazy.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Lazy.sml
--- a/src/Tools/Metis/src/Lazy.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Literal.sig
--- a/src/Tools/Metis/src/Literal.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Literal.sml
--- a/src/Tools/Metis/src/Literal.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/LiteralNet.sig
--- a/src/Tools/Metis/src/LiteralNet.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/LiteralNet.sml
--- a/src/Tools/Metis/src/LiteralNet.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Map.sig
--- a/src/Tools/Metis/src/Map.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Map.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Map.sml
--- a/src/Tools/Metis/src/Map.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Map.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Model.sig
--- a/src/Tools/Metis/src/Model.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Model.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Model.sml
--- a/src/Tools/Metis/src/Model.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Model.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Name.sig
--- a/src/Tools/Metis/src/Name.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Name.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Name.sml
--- a/src/Tools/Metis/src/Name.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Name.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/NameArity.sig
--- a/src/Tools/Metis/src/NameArity.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/NameArity.sml
--- a/src/Tools/Metis/src/NameArity.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Normalize.sig
--- a/src/Tools/Metis/src/Normalize.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Normalize.sml
--- a/src/Tools/Metis/src/Normalize.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Options.sig
--- a/src/Tools/Metis/src/Options.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Options.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Options.sml
--- a/src/Tools/Metis/src/Options.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Options.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Ordered.sig
--- a/src/Tools/Metis/src/Ordered.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Ordered.sml
--- a/src/Tools/Metis/src/Ordered.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Parse.sig
--- a/src/Tools/Metis/src/Parse.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Parse.sml
--- a/src/Tools/Metis/src/Parse.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Portable.sig
--- a/src/Tools/Metis/src/Portable.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Portable.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/PortableMlton.sml
--- a/src/Tools/Metis/src/PortableMlton.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/PortableMlton.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/PortableMosml.sml
--- a/src/Tools/Metis/src/PortableMosml.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/PortableMosml.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/PortablePolyml.sml
--- a/src/Tools/Metis/src/PortablePolyml.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/PortablePolyml.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Print.sig
--- a/src/Tools/Metis/src/Print.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Print.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Print.sml
--- a/src/Tools/Metis/src/Print.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Print.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Problem.sig
--- a/src/Tools/Metis/src/Problem.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Problem.sml
--- a/src/Tools/Metis/src/Problem.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Proof.sig
--- a/src/Tools/Metis/src/Proof.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Proof.sml
--- a/src/Tools/Metis/src/Proof.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Resolution.sig
--- a/src/Tools/Metis/src/Resolution.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Resolution.sml
--- a/src/Tools/Metis/src/Resolution.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Rewrite.sig
--- a/src/Tools/Metis/src/Rewrite.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Rewrite.sml
--- a/src/Tools/Metis/src/Rewrite.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Rule.sig
--- a/src/Tools/Metis/src/Rule.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Rule.sml
--- a/src/Tools/Metis/src/Rule.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Set.sig
--- a/src/Tools/Metis/src/Set.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Set.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Set.sml
--- a/src/Tools/Metis/src/Set.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Set.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Sharing.sig
--- a/src/Tools/Metis/src/Sharing.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Sharing.sml
--- a/src/Tools/Metis/src/Sharing.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Stream.sig
--- a/src/Tools/Metis/src/Stream.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Stream.sml
--- a/src/Tools/Metis/src/Stream.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Subst.sig
--- a/src/Tools/Metis/src/Subst.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Subst.sml
--- a/src/Tools/Metis/src/Subst.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Subsume.sig
--- a/src/Tools/Metis/src/Subsume.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Subsume.sml
--- a/src/Tools/Metis/src/Subsume.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Term.sig
--- a/src/Tools/Metis/src/Term.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Term.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Term.sml
--- a/src/Tools/Metis/src/Term.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Term.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/TermNet.sig
--- a/src/Tools/Metis/src/TermNet.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/TermNet.sml
--- a/src/Tools/Metis/src/TermNet.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Thm.sig
--- a/src/Tools/Metis/src/Thm.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Thm.sml
--- a/src/Tools/Metis/src/Thm.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Tptp.sig
--- a/src/Tools/Metis/src/Tptp.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Tptp.sml
--- a/src/Tools/Metis/src/Tptp.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Units.sig
--- a/src/Tools/Metis/src/Units.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Units.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Units.sml
--- a/src/Tools/Metis/src/Units.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Units.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Useful.sig
--- a/src/Tools/Metis/src/Useful.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Useful.sml
--- a/src/Tools/Metis/src/Useful.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Waiting.sig
--- a/src/Tools/Metis/src/Waiting.sig	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sig	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/Waiting.sml
--- a/src/Tools/Metis/src/Waiting.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/metis.sml
--- 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;
diff -r aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/problems.sml
--- a/src/Tools/Metis/src/problems.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/problems.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/problems2tptp.sml
--- a/src/Tools/Metis/src/problems2tptp.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/problems2tptp.sml	Fri Sep 17 01:58:21 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 aaa7078fff55 -r cffceed8e7fa src/Tools/Metis/src/selftest.sml
--- a/src/Tools/Metis/src/selftest.sml	Fri Sep 17 01:56:19 2010 +0200
+++ b/src/Tools/Metis/src/selftest.sml	Fri Sep 17 01:58:21 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            *)
 (* ========================================================================= *)
 
 (* ------------------------------------------------------------------------- *)