1.1 --- a/src/Tools/Metis/src/Active.sig	Fri Sep 17 01:56:19 2010 +0200
     1.2 +++ b/src/Tools/Metis/src/Active.sig	Fri Sep 17 01:58:21 2010 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (* ========================================================================= *)
     1.5  (* THE ACTIVE SET OF CLAUSES                                                 *)
     1.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
     1.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
     1.8  (* ========================================================================= *)
     1.9  
    1.10  signature Active =

     2.1 --- a/src/Tools/Metis/src/Active.sml	Fri Sep 17 01:56:19 2010 +0200
     2.2 +++ b/src/Tools/Metis/src/Active.sml	Fri Sep 17 01:58:21 2010 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  (* ========================================================================= *)
     2.5  (* THE ACTIVE SET OF CLAUSES                                                 *)
     2.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
     2.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
     2.8  (* ========================================================================= *)
     2.9  
    2.10  structure Active :> Active =

     3.1 --- a/src/Tools/Metis/src/Atom.sig	Fri Sep 17 01:56:19 2010 +0200
     3.2 +++ b/src/Tools/Metis/src/Atom.sig	Fri Sep 17 01:58:21 2010 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  (* ========================================================================= *)
     3.5  (* FIRST ORDER LOGIC ATOMS                                                   *)
     3.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
     3.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
     3.8  (* ========================================================================= *)
     3.9  
    3.10  signature Atom =

     4.1 --- a/src/Tools/Metis/src/Atom.sml	Fri Sep 17 01:56:19 2010 +0200
     4.2 +++ b/src/Tools/Metis/src/Atom.sml	Fri Sep 17 01:58:21 2010 +0200
     4.3 @@ -1,6 +1,6 @@
     4.4  (* ========================================================================= *)
     4.5  (* FIRST ORDER LOGIC ATOMS                                                   *)
     4.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
     4.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
     4.8  (* ========================================================================= *)
     4.9  
    4.10  structure Atom :> Atom =

     5.1 --- a/src/Tools/Metis/src/AtomNet.sig	Fri Sep 17 01:56:19 2010 +0200
     5.2 +++ b/src/Tools/Metis/src/AtomNet.sig	Fri Sep 17 01:58:21 2010 +0200
     5.3 @@ -1,6 +1,6 @@
     5.4  (* ========================================================================= *)
     5.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS              *)
     5.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
     5.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
     5.8  (* ========================================================================= *)
     5.9  
    5.10  signature AtomNet =

     6.1 --- a/src/Tools/Metis/src/AtomNet.sml	Fri Sep 17 01:56:19 2010 +0200
     6.2 +++ b/src/Tools/Metis/src/AtomNet.sml	Fri Sep 17 01:58:21 2010 +0200
     6.3 @@ -1,6 +1,6 @@
     6.4  (* ========================================================================= *)
     6.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS              *)
     6.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
     6.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
     6.8  (* ========================================================================= *)
     6.9  
    6.10  structure AtomNet :> AtomNet =

     7.1 --- a/src/Tools/Metis/src/Clause.sig	Fri Sep 17 01:56:19 2010 +0200
     7.2 +++ b/src/Tools/Metis/src/Clause.sig	Fri Sep 17 01:58:21 2010 +0200
     7.3 @@ -1,6 +1,6 @@
     7.4  (* ========================================================================= *)
     7.5  (* CLAUSE = ID + THEOREM                                                     *)
     7.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
     7.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
     7.8  (* ========================================================================= *)
     7.9  
    7.10  signature Clause =

     8.1 --- a/src/Tools/Metis/src/Clause.sml	Fri Sep 17 01:56:19 2010 +0200
     8.2 +++ b/src/Tools/Metis/src/Clause.sml	Fri Sep 17 01:58:21 2010 +0200
     8.3 @@ -1,6 +1,6 @@
     8.4  (* ========================================================================= *)
     8.5  (* CLAUSE = ID + THEOREM                                                     *)
     8.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
     8.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
     8.8  (* ========================================================================= *)
     8.9  
    8.10  structure Clause :> Clause =

     9.1 --- a/src/Tools/Metis/src/ElementSet.sig	Fri Sep 17 01:56:19 2010 +0200
     9.2 +++ b/src/Tools/Metis/src/ElementSet.sig	Fri Sep 17 01:58:21 2010 +0200
     9.3 @@ -1,6 +1,6 @@
     9.4  (* ========================================================================= *)
     9.5  (* FINITE SETS WITH A FIXED ELEMENT TYPE                                     *)
     9.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
     9.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
     9.8  (* ========================================================================= *)
     9.9  
    9.10  signature ElementSet =

    10.1 --- a/src/Tools/Metis/src/ElementSet.sml	Fri Sep 17 01:56:19 2010 +0200
    10.2 +++ b/src/Tools/Metis/src/ElementSet.sml	Fri Sep 17 01:58:21 2010 +0200
    10.3 @@ -1,6 +1,6 @@
    10.4  (* ========================================================================= *)
    10.5  (* FINITE SETS WITH A FIXED ELEMENT TYPE                                     *)
    10.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    10.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    10.8  (* ========================================================================= *)
    10.9  
   10.10  functor ElementSet (KM : KeyMap) :> ElementSet

    11.1 --- a/src/Tools/Metis/src/Formula.sig	Fri Sep 17 01:56:19 2010 +0200
    11.2 +++ b/src/Tools/Metis/src/Formula.sig	Fri Sep 17 01:58:21 2010 +0200
    11.3 @@ -1,6 +1,6 @@
    11.4  (* ========================================================================= *)
    11.5  (* FIRST ORDER LOGIC FORMULAS                                                *)
    11.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    11.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    11.8  (* ========================================================================= *)
    11.9  
   11.10  signature Formula =

    12.1 --- a/src/Tools/Metis/src/Formula.sml	Fri Sep 17 01:56:19 2010 +0200
    12.2 +++ b/src/Tools/Metis/src/Formula.sml	Fri Sep 17 01:58:21 2010 +0200
    12.3 @@ -1,6 +1,6 @@
    12.4  (* ========================================================================= *)
    12.5  (* FIRST ORDER LOGIC FORMULAS                                                *)
    12.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    12.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    12.8  (* ========================================================================= *)
    12.9  
   12.10  structure Formula :> Formula =

    13.1 --- a/src/Tools/Metis/src/Heap.sig	Fri Sep 17 01:56:19 2010 +0200
    13.2 +++ b/src/Tools/Metis/src/Heap.sig	Fri Sep 17 01:58:21 2010 +0200
    13.3 @@ -1,6 +1,6 @@
    13.4  (* ========================================================================= *)
    13.5  (* A HEAP DATATYPE FOR ML                                                    *)
    13.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    13.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    13.8  (* ========================================================================= *)
    13.9  
   13.10  signature Heap =

    14.1 --- a/src/Tools/Metis/src/Heap.sml	Fri Sep 17 01:56:19 2010 +0200
    14.2 +++ b/src/Tools/Metis/src/Heap.sml	Fri Sep 17 01:58:21 2010 +0200
    14.3 @@ -1,6 +1,6 @@
    14.4  (* ========================================================================= *)
    14.5  (* A HEAP DATATYPE FOR ML                                                    *)
    14.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    14.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    14.8  (* ========================================================================= *)
    14.9  
   14.10  structure Heap :> Heap =

    15.1 --- a/src/Tools/Metis/src/KeyMap.sig	Fri Sep 17 01:56:19 2010 +0200
    15.2 +++ b/src/Tools/Metis/src/KeyMap.sig	Fri Sep 17 01:58:21 2010 +0200
    15.3 @@ -1,6 +1,6 @@
    15.4  (* ========================================================================= *)
    15.5  (* FINITE MAPS WITH A FIXED KEY TYPE                                         *)
    15.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    15.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    15.8  (* ========================================================================= *)
    15.9  
   15.10  signature KeyMap =

    16.1 --- a/src/Tools/Metis/src/KeyMap.sml	Fri Sep 17 01:56:19 2010 +0200
    16.2 +++ b/src/Tools/Metis/src/KeyMap.sml	Fri Sep 17 01:58:21 2010 +0200
    16.3 @@ -1,6 +1,6 @@
    16.4  (* ========================================================================= *)
    16.5  (* FINITE MAPS WITH A FIXED KEY TYPE                                         *)
    16.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    16.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    16.8  (* ========================================================================= *)
    16.9  
   16.10  functor KeyMap (Key : Ordered) :> KeyMap where type key = Key.t =

    17.1 --- a/src/Tools/Metis/src/KnuthBendixOrder.sig	Fri Sep 17 01:56:19 2010 +0200
    17.2 +++ b/src/Tools/Metis/src/KnuthBendixOrder.sig	Fri Sep 17 01:58:21 2010 +0200
    17.3 @@ -1,6 +1,6 @@
    17.4  (* ========================================================================= *)
    17.5  (* THE KNUTH-BENDIX TERM ORDERING                                            *)
    17.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    17.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    17.8  (* ========================================================================= *)
    17.9  
   17.10  signature KnuthBendixOrder =

    18.1 --- a/src/Tools/Metis/src/KnuthBendixOrder.sml	Fri Sep 17 01:56:19 2010 +0200
    18.2 +++ b/src/Tools/Metis/src/KnuthBendixOrder.sml	Fri Sep 17 01:58:21 2010 +0200
    18.3 @@ -1,6 +1,6 @@
    18.4  (* ========================================================================= *)
    18.5  (* KNUTH-BENDIX TERM ORDERING CONSTRAINTS                                    *)
    18.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    18.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    18.8  (* ========================================================================= *)
    18.9  
   18.10  structure KnuthBendixOrder :> KnuthBendixOrder =

    19.1 --- a/src/Tools/Metis/src/Lazy.sig	Fri Sep 17 01:56:19 2010 +0200
    19.2 +++ b/src/Tools/Metis/src/Lazy.sig	Fri Sep 17 01:58:21 2010 +0200
    19.3 @@ -1,6 +1,6 @@
    19.4  (* ========================================================================= *)
    19.5  (* SUPPORT FOR LAZY EVALUATION                                               *)
    19.6 -(* Copyright (c) 2007 Joe Hurd, distributed under the MIT license            *)
    19.7 +(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License            *)
    19.8  (* ========================================================================= *)
    19.9  
   19.10  signature Lazy =

    20.1 --- a/src/Tools/Metis/src/Lazy.sml	Fri Sep 17 01:56:19 2010 +0200
    20.2 +++ b/src/Tools/Metis/src/Lazy.sml	Fri Sep 17 01:58:21 2010 +0200
    20.3 @@ -1,6 +1,6 @@
    20.4  (* ========================================================================= *)
    20.5  (* SUPPORT FOR LAZY EVALUATION                                               *)
    20.6 -(* Copyright (c) 2007 Joe Hurd, distributed under the MIT license            *)
    20.7 +(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License            *)
    20.8  (* ========================================================================= *)
    20.9  
   20.10  structure Lazy :> Lazy =

    21.1 --- a/src/Tools/Metis/src/Literal.sig	Fri Sep 17 01:56:19 2010 +0200
    21.2 +++ b/src/Tools/Metis/src/Literal.sig	Fri Sep 17 01:58:21 2010 +0200
    21.3 @@ -1,6 +1,6 @@
    21.4  (* ========================================================================= *)
    21.5  (* FIRST ORDER LOGIC LITERALS                                                *)
    21.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    21.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    21.8  (* ========================================================================= *)
    21.9  
   21.10  signature Literal =

    22.1 --- a/src/Tools/Metis/src/Literal.sml	Fri Sep 17 01:56:19 2010 +0200
    22.2 +++ b/src/Tools/Metis/src/Literal.sml	Fri Sep 17 01:58:21 2010 +0200
    22.3 @@ -1,6 +1,6 @@
    22.4  (* ========================================================================= *)
    22.5  (* FIRST ORDER LOGIC LITERALS                                                *)
    22.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    22.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    22.8  (* ========================================================================= *)
    22.9  
   22.10  structure Literal :> Literal =

    23.1 --- a/src/Tools/Metis/src/LiteralNet.sig	Fri Sep 17 01:56:19 2010 +0200
    23.2 +++ b/src/Tools/Metis/src/LiteralNet.sig	Fri Sep 17 01:58:21 2010 +0200
    23.3 @@ -1,6 +1,6 @@
    23.4  (* ========================================================================= *)
    23.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS           *)
    23.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    23.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    23.8  (* ========================================================================= *)
    23.9  
   23.10  signature LiteralNet =

    24.1 --- a/src/Tools/Metis/src/LiteralNet.sml	Fri Sep 17 01:56:19 2010 +0200
    24.2 +++ b/src/Tools/Metis/src/LiteralNet.sml	Fri Sep 17 01:58:21 2010 +0200
    24.3 @@ -1,6 +1,6 @@
    24.4  (* ========================================================================= *)
    24.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS           *)
    24.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    24.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    24.8  (* ========================================================================= *)
    24.9  
   24.10  structure LiteralNet :> LiteralNet =

    25.1 --- a/src/Tools/Metis/src/Map.sig	Fri Sep 17 01:56:19 2010 +0200
    25.2 +++ b/src/Tools/Metis/src/Map.sig	Fri Sep 17 01:58:21 2010 +0200
    25.3 @@ -1,6 +1,6 @@
    25.4  (* ========================================================================= *)
    25.5  (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
    25.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    25.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    25.8  (* ========================================================================= *)
    25.9  
   25.10  signature Map =

    26.1 --- a/src/Tools/Metis/src/Map.sml	Fri Sep 17 01:56:19 2010 +0200
    26.2 +++ b/src/Tools/Metis/src/Map.sml	Fri Sep 17 01:58:21 2010 +0200
    26.3 @@ -1,6 +1,6 @@
    26.4  (* ========================================================================= *)
    26.5  (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
    26.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    26.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    26.8  (* ========================================================================= *)
    26.9  
   26.10  structure Map :> Map =

    27.1 --- a/src/Tools/Metis/src/Model.sig	Fri Sep 17 01:56:19 2010 +0200
    27.2 +++ b/src/Tools/Metis/src/Model.sig	Fri Sep 17 01:58:21 2010 +0200
    27.3 @@ -1,6 +1,6 @@
    27.4  (* ========================================================================= *)
    27.5  (* RANDOM FINITE MODELS                                                      *)
    27.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    27.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    27.8  (* ========================================================================= *)
    27.9  
   27.10  signature Model =

    28.1 --- a/src/Tools/Metis/src/Model.sml	Fri Sep 17 01:56:19 2010 +0200
    28.2 +++ b/src/Tools/Metis/src/Model.sml	Fri Sep 17 01:58:21 2010 +0200
    28.3 @@ -1,6 +1,6 @@
    28.4  (* ========================================================================= *)
    28.5  (* RANDOM FINITE MODELS                                                      *)
    28.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    28.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    28.8  (* ========================================================================= *)
    28.9  
   28.10  structure Model :> Model =

    29.1 --- a/src/Tools/Metis/src/Name.sig	Fri Sep 17 01:56:19 2010 +0200
    29.2 +++ b/src/Tools/Metis/src/Name.sig	Fri Sep 17 01:58:21 2010 +0200
    29.3 @@ -1,6 +1,6 @@
    29.4  (* ========================================================================= *)
    29.5  (* NAMES                                                                     *)
    29.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    29.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    29.8  (* ========================================================================= *)
    29.9  
   29.10  signature Name =

    30.1 --- a/src/Tools/Metis/src/Name.sml	Fri Sep 17 01:56:19 2010 +0200
    30.2 +++ b/src/Tools/Metis/src/Name.sml	Fri Sep 17 01:58:21 2010 +0200
    30.3 @@ -1,6 +1,6 @@
    30.4  (* ========================================================================= *)
    30.5  (* NAMES                                                                     *)
    30.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    30.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    30.8  (* ========================================================================= *)
    30.9  
   30.10  structure Name :> Name =

    31.1 --- a/src/Tools/Metis/src/NameArity.sig	Fri Sep 17 01:56:19 2010 +0200
    31.2 +++ b/src/Tools/Metis/src/NameArity.sig	Fri Sep 17 01:58:21 2010 +0200
    31.3 @@ -1,6 +1,6 @@
    31.4  (* ========================================================================= *)
    31.5  (* NAME/ARITY PAIRS                                                          *)
    31.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    31.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    31.8  (* ========================================================================= *)
    31.9  
   31.10  signature NameArity =

    32.1 --- a/src/Tools/Metis/src/NameArity.sml	Fri Sep 17 01:56:19 2010 +0200
    32.2 +++ b/src/Tools/Metis/src/NameArity.sml	Fri Sep 17 01:58:21 2010 +0200
    32.3 @@ -1,6 +1,6 @@
    32.4  (* ========================================================================= *)
    32.5  (* NAME/ARITY PAIRS                                                          *)
    32.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    32.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    32.8  (* ========================================================================= *)
    32.9  
   32.10  structure NameArity :> NameArity =

    33.1 --- a/src/Tools/Metis/src/Normalize.sig	Fri Sep 17 01:56:19 2010 +0200
    33.2 +++ b/src/Tools/Metis/src/Normalize.sig	Fri Sep 17 01:58:21 2010 +0200
    33.3 @@ -1,6 +1,6 @@
    33.4  (* ========================================================================= *)
    33.5  (* NORMALIZING FORMULAS                                                      *)
    33.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    33.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    33.8  (* ========================================================================= *)
    33.9  
   33.10  signature Normalize =

    34.1 --- a/src/Tools/Metis/src/Normalize.sml	Fri Sep 17 01:56:19 2010 +0200
    34.2 +++ b/src/Tools/Metis/src/Normalize.sml	Fri Sep 17 01:58:21 2010 +0200
    34.3 @@ -1,6 +1,6 @@
    34.4  (* ========================================================================= *)
    34.5  (* NORMALIZING FORMULAS                                                      *)
    34.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    34.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    34.8  (* ========================================================================= *)
    34.9  
   34.10  structure Normalize :> Normalize =

    35.1 --- a/src/Tools/Metis/src/Options.sig	Fri Sep 17 01:56:19 2010 +0200
    35.2 +++ b/src/Tools/Metis/src/Options.sig	Fri Sep 17 01:58:21 2010 +0200
    35.3 @@ -1,6 +1,6 @@
    35.4  (* ========================================================================= *)
    35.5  (* PROCESSING COMMAND LINE OPTIONS                                           *)
    35.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    35.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    35.8  (* ========================================================================= *)
    35.9  
   35.10  signature Options =

    36.1 --- a/src/Tools/Metis/src/Options.sml	Fri Sep 17 01:56:19 2010 +0200
    36.2 +++ b/src/Tools/Metis/src/Options.sml	Fri Sep 17 01:58:21 2010 +0200
    36.3 @@ -1,6 +1,6 @@
    36.4  (* ========================================================================= *)
    36.5  (* PROCESSING COMMAND LINE OPTIONS                                           *)
    36.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    36.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    36.8  (* ========================================================================= *)
    36.9  
   36.10  structure Options :> Options =

    37.1 --- a/src/Tools/Metis/src/Ordered.sig	Fri Sep 17 01:56:19 2010 +0200
    37.2 +++ b/src/Tools/Metis/src/Ordered.sig	Fri Sep 17 01:58:21 2010 +0200
    37.3 @@ -1,6 +1,6 @@
    37.4  (* ========================================================================= *)
    37.5  (* ORDERED TYPES                                                             *)
    37.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    37.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    37.8  (* ========================================================================= *)
    37.9  
   37.10  signature Ordered =

    38.1 --- a/src/Tools/Metis/src/Ordered.sml	Fri Sep 17 01:56:19 2010 +0200
    38.2 +++ b/src/Tools/Metis/src/Ordered.sml	Fri Sep 17 01:58:21 2010 +0200
    38.3 @@ -1,6 +1,6 @@
    38.4  (* ========================================================================= *)
    38.5  (* ORDERED TYPES                                                             *)
    38.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    38.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    38.8  (* ========================================================================= *)
    38.9  
   38.10  structure IntOrdered =

    39.1 --- a/src/Tools/Metis/src/Parse.sig	Fri Sep 17 01:56:19 2010 +0200
    39.2 +++ b/src/Tools/Metis/src/Parse.sig	Fri Sep 17 01:58:21 2010 +0200
    39.3 @@ -1,6 +1,6 @@
    39.4  (* ========================================================================= *)
    39.5  (* PARSING                                                                   *)
    39.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    39.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    39.8  (* ========================================================================= *)
    39.9  
   39.10  signature Parse =

    40.1 --- a/src/Tools/Metis/src/Parse.sml	Fri Sep 17 01:56:19 2010 +0200
    40.2 +++ b/src/Tools/Metis/src/Parse.sml	Fri Sep 17 01:58:21 2010 +0200
    40.3 @@ -1,6 +1,6 @@
    40.4  (* ========================================================================= *)
    40.5  (* PARSING                                                                   *)
    40.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    40.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    40.8  (* ========================================================================= *)
    40.9  
   40.10  structure Parse :> Parse =

    41.1 --- a/src/Tools/Metis/src/Portable.sig	Fri Sep 17 01:56:19 2010 +0200
    41.2 +++ b/src/Tools/Metis/src/Portable.sig	Fri Sep 17 01:58:21 2010 +0200
    41.3 @@ -1,6 +1,6 @@
    41.4  (* ========================================================================= *)
    41.5  (* ML COMPILER SPECIFIC FUNCTIONS                                            *)
    41.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    41.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    41.8  (* ========================================================================= *)
    41.9  
   41.10  signature Portable =

    42.1 --- a/src/Tools/Metis/src/PortableMlton.sml	Fri Sep 17 01:56:19 2010 +0200
    42.2 +++ b/src/Tools/Metis/src/PortableMlton.sml	Fri Sep 17 01:58:21 2010 +0200
    42.3 @@ -1,6 +1,6 @@
    42.4  (* ========================================================================= *)
    42.5  (* MLTON SPECIFIC FUNCTIONS                                                  *)
    42.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    42.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    42.8  (* ========================================================================= *)
    42.9  
   42.10  structure Portable :> Portable =

    43.1 --- a/src/Tools/Metis/src/PortableMosml.sml	Fri Sep 17 01:56:19 2010 +0200
    43.2 +++ b/src/Tools/Metis/src/PortableMosml.sml	Fri Sep 17 01:58:21 2010 +0200
    43.3 @@ -1,6 +1,6 @@
    43.4  (* ========================================================================= *)
    43.5  (* MOSCOW ML SPECIFIC FUNCTIONS                                              *)
    43.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    43.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    43.8  (* ========================================================================= *)
    43.9  
   43.10  structure Portable :> Portable =

    44.1 --- a/src/Tools/Metis/src/PortablePolyml.sml	Fri Sep 17 01:56:19 2010 +0200
    44.2 +++ b/src/Tools/Metis/src/PortablePolyml.sml	Fri Sep 17 01:58:21 2010 +0200
    44.3 @@ -1,6 +1,6 @@
    44.4  (* ========================================================================= *)
    44.5  (* POLY/ML SPECIFIC FUNCTIONS                                                *)
    44.6 -(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
    44.7 +(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
    44.8  (* ========================================================================= *)
    44.9  
   44.10  structure Portable :> Portable =

    45.1 --- a/src/Tools/Metis/src/Print.sig	Fri Sep 17 01:56:19 2010 +0200
    45.2 +++ b/src/Tools/Metis/src/Print.sig	Fri Sep 17 01:58:21 2010 +0200
    45.3 @@ -1,6 +1,6 @@
    45.4  (* ========================================================================= *)
    45.5  (* PRETTY-PRINTING                                                           *)
    45.6 -(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
    45.7 +(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
    45.8  (* ========================================================================= *)
    45.9  
   45.10  signature Print =

    46.1 --- a/src/Tools/Metis/src/Print.sml	Fri Sep 17 01:56:19 2010 +0200
    46.2 +++ b/src/Tools/Metis/src/Print.sml	Fri Sep 17 01:58:21 2010 +0200
    46.3 @@ -1,6 +1,6 @@
    46.4  (* ========================================================================= *)
    46.5  (* PRETTY-PRINTING                                                           *)
    46.6 -(* Copyright (c) 2008 Joe Hurd, distributed under the MIT license            *)
    46.7 +(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License            *)
    46.8  (* ========================================================================= *)
    46.9  
   46.10  structure Print :> Print =

    47.1 --- a/src/Tools/Metis/src/Problem.sig	Fri Sep 17 01:56:19 2010 +0200
    47.2 +++ b/src/Tools/Metis/src/Problem.sig	Fri Sep 17 01:58:21 2010 +0200
    47.3 @@ -1,6 +1,6 @@
    47.4  (* ========================================================================= *)
    47.5  (* CNF PROBLEMS                                                              *)
    47.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    47.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    47.8  (* ========================================================================= *)
    47.9  
   47.10  signature Problem =

    48.1 --- a/src/Tools/Metis/src/Problem.sml	Fri Sep 17 01:56:19 2010 +0200
    48.2 +++ b/src/Tools/Metis/src/Problem.sml	Fri Sep 17 01:58:21 2010 +0200
    48.3 @@ -1,6 +1,6 @@
    48.4  (* ========================================================================= *)
    48.5  (* CNF PROBLEMS                                                              *)
    48.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    48.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    48.8  (* ========================================================================= *)
    48.9  
   48.10  structure Problem :> Problem =

    49.1 --- a/src/Tools/Metis/src/Proof.sig	Fri Sep 17 01:56:19 2010 +0200
    49.2 +++ b/src/Tools/Metis/src/Proof.sig	Fri Sep 17 01:58:21 2010 +0200
    49.3 @@ -1,6 +1,6 @@
    49.4  (* ========================================================================= *)
    49.5  (* PROOFS IN FIRST ORDER LOGIC                                               *)
    49.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    49.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    49.8  (* ========================================================================= *)
    49.9  
   49.10  signature Proof =

    50.1 --- a/src/Tools/Metis/src/Proof.sml	Fri Sep 17 01:56:19 2010 +0200
    50.2 +++ b/src/Tools/Metis/src/Proof.sml	Fri Sep 17 01:58:21 2010 +0200
    50.3 @@ -1,6 +1,6 @@
    50.4  (* ========================================================================= *)
    50.5  (* PROOFS IN FIRST ORDER LOGIC                                               *)
    50.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    50.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    50.8  (* ========================================================================= *)
    50.9  
   50.10  structure Proof :> Proof =

    51.1 --- a/src/Tools/Metis/src/Resolution.sig	Fri Sep 17 01:56:19 2010 +0200
    51.2 +++ b/src/Tools/Metis/src/Resolution.sig	Fri Sep 17 01:58:21 2010 +0200
    51.3 @@ -1,6 +1,6 @@
    51.4  (* ========================================================================= *)
    51.5  (* THE RESOLUTION PROOF PROCEDURE                                            *)
    51.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    51.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    51.8  (* ========================================================================= *)
    51.9  
   51.10  signature Resolution =

    52.1 --- a/src/Tools/Metis/src/Resolution.sml	Fri Sep 17 01:56:19 2010 +0200
    52.2 +++ b/src/Tools/Metis/src/Resolution.sml	Fri Sep 17 01:58:21 2010 +0200
    52.3 @@ -1,6 +1,6 @@
    52.4  (* ========================================================================= *)
    52.5  (* THE RESOLUTION PROOF PROCEDURE                                            *)
    52.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    52.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    52.8  (* ========================================================================= *)
    52.9  
   52.10  structure Resolution :> Resolution =

    53.1 --- a/src/Tools/Metis/src/Rewrite.sig	Fri Sep 17 01:56:19 2010 +0200
    53.2 +++ b/src/Tools/Metis/src/Rewrite.sig	Fri Sep 17 01:58:21 2010 +0200
    53.3 @@ -1,6 +1,6 @@
    53.4  (* ========================================================================= *)
    53.5  (* ORDERED REWRITING FOR FIRST ORDER TERMS                                   *)
    53.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    53.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    53.8  (* ========================================================================= *)
    53.9  
   53.10  signature Rewrite =

    54.1 --- a/src/Tools/Metis/src/Rewrite.sml	Fri Sep 17 01:56:19 2010 +0200
    54.2 +++ b/src/Tools/Metis/src/Rewrite.sml	Fri Sep 17 01:58:21 2010 +0200
    54.3 @@ -1,6 +1,6 @@
    54.4  (* ========================================================================= *)
    54.5  (* ORDERED REWRITING FOR FIRST ORDER TERMS                                   *)
    54.6 -(* Copyright (c) 2003 Joe Hurd, distributed under the MIT license            *)
    54.7 +(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License            *)
    54.8  (* ========================================================================= *)
    54.9  
   54.10  structure Rewrite :> Rewrite =

    55.1 --- a/src/Tools/Metis/src/Rule.sig	Fri Sep 17 01:56:19 2010 +0200
    55.2 +++ b/src/Tools/Metis/src/Rule.sig	Fri Sep 17 01:58:21 2010 +0200
    55.3 @@ -1,6 +1,6 @@
    55.4  (* ========================================================================= *)
    55.5  (* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS                     *)
    55.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    55.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    55.8  (* ========================================================================= *)
    55.9  
   55.10  signature Rule =

    56.1 --- a/src/Tools/Metis/src/Rule.sml	Fri Sep 17 01:56:19 2010 +0200
    56.2 +++ b/src/Tools/Metis/src/Rule.sml	Fri Sep 17 01:58:21 2010 +0200
    56.3 @@ -1,6 +1,6 @@
    56.4  (* ========================================================================= *)
    56.5  (* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS                     *)
    56.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    56.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    56.8  (* ========================================================================= *)
    56.9  
   56.10  structure Rule :> Rule =

    57.1 --- a/src/Tools/Metis/src/Set.sig	Fri Sep 17 01:56:19 2010 +0200
    57.2 +++ b/src/Tools/Metis/src/Set.sig	Fri Sep 17 01:58:21 2010 +0200
    57.3 @@ -1,6 +1,6 @@
    57.4  (* ========================================================================= *)
    57.5  (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
    57.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    57.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    57.8  (* ========================================================================= *)
    57.9  
   57.10  signature Set =

    58.1 --- a/src/Tools/Metis/src/Set.sml	Fri Sep 17 01:56:19 2010 +0200
    58.2 +++ b/src/Tools/Metis/src/Set.sml	Fri Sep 17 01:58:21 2010 +0200
    58.3 @@ -1,6 +1,6 @@
    58.4  (* ========================================================================= *)
    58.5  (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES                      *)
    58.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    58.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    58.8  (* ========================================================================= *)
    58.9  
   58.10  structure Set :> Set =

    59.1 --- a/src/Tools/Metis/src/Sharing.sig	Fri Sep 17 01:56:19 2010 +0200
    59.2 +++ b/src/Tools/Metis/src/Sharing.sig	Fri Sep 17 01:58:21 2010 +0200
    59.3 @@ -1,6 +1,6 @@
    59.4  (* ========================================================================= *)
    59.5  (* PRESERVING SHARING OF ML VALUES                                           *)
    59.6 -(* Copyright (c) 2005 Joe Hurd, distributed under the MIT license            *)
    59.7 +(* Copyright (c) 2005 Joe Hurd, distributed under the BSD License            *)
    59.8  (* ========================================================================= *)
    59.9  
   59.10  signature Sharing =

    60.1 --- a/src/Tools/Metis/src/Sharing.sml	Fri Sep 17 01:56:19 2010 +0200
    60.2 +++ b/src/Tools/Metis/src/Sharing.sml	Fri Sep 17 01:58:21 2010 +0200
    60.3 @@ -1,6 +1,6 @@
    60.4  (* ========================================================================= *)
    60.5  (* PRESERVING SHARING OF ML VALUES                                           *)
    60.6 -(* Copyright (c) 2005 Joe Hurd, distributed under the MIT license            *)
    60.7 +(* Copyright (c) 2005 Joe Hurd, distributed under the BSD License            *)
    60.8  (* ========================================================================= *)
    60.9  
   60.10  structure Sharing :> Sharing =

    61.1 --- a/src/Tools/Metis/src/Stream.sig	Fri Sep 17 01:56:19 2010 +0200
    61.2 +++ b/src/Tools/Metis/src/Stream.sig	Fri Sep 17 01:58:21 2010 +0200
    61.3 @@ -1,6 +1,6 @@
    61.4  (* ========================================================================= *)
    61.5  (* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML                                *)
    61.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    61.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    61.8  (* ========================================================================= *)
    61.9  
   61.10  signature Stream =

    62.1 --- a/src/Tools/Metis/src/Stream.sml	Fri Sep 17 01:56:19 2010 +0200
    62.2 +++ b/src/Tools/Metis/src/Stream.sml	Fri Sep 17 01:58:21 2010 +0200
    62.3 @@ -1,6 +1,6 @@
    62.4  (* ========================================================================= *)
    62.5  (* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML                                *)
    62.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    62.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    62.8  (* ========================================================================= *)
    62.9  
   62.10  structure Stream :> Stream =

    63.1 --- a/src/Tools/Metis/src/Subst.sig	Fri Sep 17 01:56:19 2010 +0200
    63.2 +++ b/src/Tools/Metis/src/Subst.sig	Fri Sep 17 01:58:21 2010 +0200
    63.3 @@ -1,6 +1,6 @@
    63.4  (* ========================================================================= *)
    63.5  (* FIRST ORDER LOGIC SUBSTITUTIONS                                           *)
    63.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    63.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    63.8  (* ========================================================================= *)
    63.9  
   63.10  signature Subst =

    64.1 --- a/src/Tools/Metis/src/Subst.sml	Fri Sep 17 01:56:19 2010 +0200
    64.2 +++ b/src/Tools/Metis/src/Subst.sml	Fri Sep 17 01:58:21 2010 +0200
    64.3 @@ -1,6 +1,6 @@
    64.4  (* ========================================================================= *)
    64.5  (* FIRST ORDER LOGIC SUBSTITUTIONS                                           *)
    64.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    64.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    64.8  (* ========================================================================= *)
    64.9  
   64.10  structure Subst :> Subst =

    65.1 --- a/src/Tools/Metis/src/Subsume.sig	Fri Sep 17 01:56:19 2010 +0200
    65.2 +++ b/src/Tools/Metis/src/Subsume.sig	Fri Sep 17 01:58:21 2010 +0200
    65.3 @@ -1,6 +1,6 @@
    65.4  (* ========================================================================= *)
    65.5  (* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES                        *)
    65.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    65.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    65.8  (* ========================================================================= *)
    65.9  
   65.10  signature Subsume =

    66.1 --- a/src/Tools/Metis/src/Subsume.sml	Fri Sep 17 01:56:19 2010 +0200
    66.2 +++ b/src/Tools/Metis/src/Subsume.sml	Fri Sep 17 01:58:21 2010 +0200
    66.3 @@ -1,6 +1,6 @@
    66.4  (* ========================================================================= *)
    66.5  (* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES                        *)
    66.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    66.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    66.8  (* ========================================================================= *)
    66.9  
   66.10  structure Subsume :> Subsume =

    67.1 --- a/src/Tools/Metis/src/Term.sig	Fri Sep 17 01:56:19 2010 +0200
    67.2 +++ b/src/Tools/Metis/src/Term.sig	Fri Sep 17 01:58:21 2010 +0200
    67.3 @@ -1,6 +1,6 @@
    67.4  (* ========================================================================= *)
    67.5  (* FIRST ORDER LOGIC TERMS                                                   *)
    67.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    67.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    67.8  (* ========================================================================= *)
    67.9  
   67.10  signature Term =

    68.1 --- a/src/Tools/Metis/src/Term.sml	Fri Sep 17 01:56:19 2010 +0200
    68.2 +++ b/src/Tools/Metis/src/Term.sml	Fri Sep 17 01:58:21 2010 +0200
    68.3 @@ -1,6 +1,6 @@
    68.4  (* ========================================================================= *)
    68.5  (* FIRST ORDER LOGIC TERMS                                                   *)
    68.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    68.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    68.8  (* ========================================================================= *)
    68.9  
   68.10  structure Term :> Term =

    69.1 --- a/src/Tools/Metis/src/TermNet.sig	Fri Sep 17 01:56:19 2010 +0200
    69.2 +++ b/src/Tools/Metis/src/TermNet.sig	Fri Sep 17 01:58:21 2010 +0200
    69.3 @@ -1,6 +1,6 @@
    69.4  (* ========================================================================= *)
    69.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS              *)
    69.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    69.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    69.8  (* ========================================================================= *)
    69.9  
   69.10  signature TermNet =

    70.1 --- a/src/Tools/Metis/src/TermNet.sml	Fri Sep 17 01:56:19 2010 +0200
    70.2 +++ b/src/Tools/Metis/src/TermNet.sml	Fri Sep 17 01:58:21 2010 +0200
    70.3 @@ -1,6 +1,6 @@
    70.4  (* ========================================================================= *)
    70.5  (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS              *)
    70.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    70.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    70.8  (* ========================================================================= *)
    70.9  
   70.10  structure TermNet :> TermNet =

    71.1 --- a/src/Tools/Metis/src/Thm.sig	Fri Sep 17 01:56:19 2010 +0200
    71.2 +++ b/src/Tools/Metis/src/Thm.sig	Fri Sep 17 01:58:21 2010 +0200
    71.3 @@ -1,6 +1,6 @@
    71.4  (* ========================================================================= *)
    71.5  (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS                         *)
    71.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    71.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    71.8  (* ========================================================================= *)
    71.9  
   71.10  signature Thm =

    72.1 --- a/src/Tools/Metis/src/Thm.sml	Fri Sep 17 01:56:19 2010 +0200
    72.2 +++ b/src/Tools/Metis/src/Thm.sml	Fri Sep 17 01:58:21 2010 +0200
    72.3 @@ -1,6 +1,6 @@
    72.4  (* ========================================================================= *)
    72.5  (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS                         *)
    72.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    72.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    72.8  (* ========================================================================= *)
    72.9  
   72.10  structure Thm :> Thm =

    73.1 --- a/src/Tools/Metis/src/Tptp.sig	Fri Sep 17 01:56:19 2010 +0200
    73.2 +++ b/src/Tools/Metis/src/Tptp.sig	Fri Sep 17 01:58:21 2010 +0200
    73.3 @@ -1,6 +1,6 @@
    73.4  (* ========================================================================= *)
    73.5  (* THE TPTP PROBLEM FILE FORMAT                                              *)
    73.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    73.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    73.8  (* ========================================================================= *)
    73.9  
   73.10  signature Tptp =

    74.1 --- a/src/Tools/Metis/src/Tptp.sml	Fri Sep 17 01:56:19 2010 +0200
    74.2 +++ b/src/Tools/Metis/src/Tptp.sml	Fri Sep 17 01:58:21 2010 +0200
    74.3 @@ -1,6 +1,6 @@
    74.4  (* ========================================================================= *)
    74.5  (* THE TPTP PROBLEM FILE FORMAT                                              *)
    74.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    74.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    74.8  (* ========================================================================= *)
    74.9  
   74.10  structure Tptp :> Tptp =

    75.1 --- a/src/Tools/Metis/src/Units.sig	Fri Sep 17 01:56:19 2010 +0200
    75.2 +++ b/src/Tools/Metis/src/Units.sig	Fri Sep 17 01:58:21 2010 +0200
    75.3 @@ -1,6 +1,6 @@
    75.4  (* ========================================================================= *)
    75.5  (* A STORE FOR UNIT THEOREMS                                                 *)
    75.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    75.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    75.8  (* ========================================================================= *)
    75.9  
   75.10  signature Units =

    76.1 --- a/src/Tools/Metis/src/Units.sml	Fri Sep 17 01:56:19 2010 +0200
    76.2 +++ b/src/Tools/Metis/src/Units.sml	Fri Sep 17 01:58:21 2010 +0200
    76.3 @@ -1,6 +1,6 @@
    76.4  (* ========================================================================= *)
    76.5  (* A STORE FOR UNIT THEOREMS                                                 *)
    76.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    76.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    76.8  (* ========================================================================= *)
    76.9  
   76.10  structure Units :> Units =

    77.1 --- a/src/Tools/Metis/src/Useful.sig	Fri Sep 17 01:56:19 2010 +0200
    77.2 +++ b/src/Tools/Metis/src/Useful.sig	Fri Sep 17 01:58:21 2010 +0200
    77.3 @@ -1,6 +1,6 @@
    77.4  (* ========================================================================= *)
    77.5  (* ML UTILITY FUNCTIONS                                                      *)
    77.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    77.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    77.8  (* ========================================================================= *)
    77.9  
   77.10  signature Useful =

    78.1 --- a/src/Tools/Metis/src/Useful.sml	Fri Sep 17 01:56:19 2010 +0200
    78.2 +++ b/src/Tools/Metis/src/Useful.sml	Fri Sep 17 01:58:21 2010 +0200
    78.3 @@ -1,6 +1,6 @@
    78.4  (* ========================================================================= *)
    78.5  (* ML UTILITY FUNCTIONS                                                      *)
    78.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    78.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    78.8  (* ========================================================================= *)
    78.9  
   78.10  structure Useful :> Useful =

    79.1 --- a/src/Tools/Metis/src/Waiting.sig	Fri Sep 17 01:56:19 2010 +0200
    79.2 +++ b/src/Tools/Metis/src/Waiting.sig	Fri Sep 17 01:58:21 2010 +0200
    79.3 @@ -1,6 +1,6 @@
    79.4  (* ========================================================================= *)
    79.5  (* THE WAITING SET OF CLAUSES                                                *)
    79.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    79.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    79.8  (* ========================================================================= *)
    79.9  
   79.10  signature Waiting =

    80.1 --- a/src/Tools/Metis/src/Waiting.sml	Fri Sep 17 01:56:19 2010 +0200
    80.2 +++ b/src/Tools/Metis/src/Waiting.sml	Fri Sep 17 01:58:21 2010 +0200
    80.3 @@ -1,6 +1,6 @@
    80.4  (* ========================================================================= *)
    80.5  (* THE WAITING SET OF CLAUSES                                                *)
    80.6 -(* Copyright (c) 2002 Joe Hurd, distributed under the MIT license            *)
    80.7 +(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
    80.8  (* ========================================================================= *)
    80.9  
   80.10  structure Waiting :> Waiting =

    81.1 --- a/src/Tools/Metis/src/metis.sml	Fri Sep 17 01:56:19 2010 +0200
    81.2 +++ b/src/Tools/Metis/src/metis.sml	Fri Sep 17 01:58:21 2010 +0200
    81.3 @@ -1,6 +1,6 @@
    81.4  (* ========================================================================= *)
    81.5  (* METIS FIRST ORDER PROVER                                                  *)
    81.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    81.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    81.8  (* ========================================================================= *)
    81.9  
   81.10  open Useful;

    82.1 --- a/src/Tools/Metis/src/problems.sml	Fri Sep 17 01:56:19 2010 +0200
    82.2 +++ b/src/Tools/Metis/src/problems.sml	Fri Sep 17 01:58:21 2010 +0200
    82.3 @@ -1,6 +1,6 @@
    82.4  (* ========================================================================= *)
    82.5  (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES                             *)
    82.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    82.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    82.8  (* ========================================================================= *)
    82.9  
   82.10  (* ========================================================================= *)

    83.1 --- a/src/Tools/Metis/src/problems2tptp.sml	Fri Sep 17 01:56:19 2010 +0200
    83.2 +++ b/src/Tools/Metis/src/problems2tptp.sml	Fri Sep 17 01:58:21 2010 +0200
    83.3 @@ -1,6 +1,6 @@
    83.4  (* ========================================================================= *)
    83.5  (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES                             *)
    83.6 -(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license            *)
    83.7 +(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License            *)
    83.8  (* ========================================================================= *)
    83.9  
   83.10  open Useful;

    84.1 --- a/src/Tools/Metis/src/selftest.sml	Fri Sep 17 01:56:19 2010 +0200
    84.2 +++ b/src/Tools/Metis/src/selftest.sml	Fri Sep 17 01:58:21 2010 +0200
    84.3 @@ -1,6 +1,6 @@
    84.4  (* ========================================================================= *)
    84.5  (* METIS TESTS                                                               *)
    84.6 -(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
    84.7 +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License            *)
    84.8  (* ========================================================================= *)
    84.9  
   84.10  (* ------------------------------------------------------------------------- *)