--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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 =
--- 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;
--- 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 *)
(* ========================================================================= *)
(* ========================================================================= *)
--- 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;
--- 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 *)
(* ========================================================================= *)
(* ------------------------------------------------------------------------- *)