--- a/src/Tools/Metis/src/Active.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Active.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE ACTIVE SET OF CLAUSES *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Active =
--- a/src/Tools/Metis/src/Active.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Active.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE ACTIVE SET OF CLAUSES *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Active :> Active =
--- a/src/Tools/Metis/src/Atom.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC ATOMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Atom =
--- a/src/Tools/Metis/src/Atom.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Atom.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC ATOMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Atom :> Atom =
--- a/src/Tools/Metis/src/AtomNet.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature AtomNet =
--- a/src/Tools/Metis/src/AtomNet.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/AtomNet.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC ATOMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure AtomNet :> AtomNet =
--- a/src/Tools/Metis/src/Clause.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* CLAUSE = ID + THEOREM *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Clause =
--- a/src/Tools/Metis/src/Clause.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* CLAUSE = ID + THEOREM *)
-(* Copyright (c) 2002-2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Clause :> Clause =
--- a/src/Tools/Metis/src/ElementSet.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE SETS WITH A FIXED ELEMENT TYPE *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature ElementSet =
--- a/src/Tools/Metis/src/ElementSet.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/ElementSet.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE SETS WITH A FIXED ELEMENT TYPE *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
functor ElementSet (KM : KeyMap) :> ElementSet
--- a/src/Tools/Metis/src/Formula.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC FORMULAS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Formula =
--- a/src/Tools/Metis/src/Formula.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Formula.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC FORMULAS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Formula :> Formula =
--- a/src/Tools/Metis/src/Heap.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A HEAP DATATYPE FOR ML *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Heap =
--- a/src/Tools/Metis/src/Heap.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Heap.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A HEAP DATATYPE FOR ML *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Heap :> Heap =
--- a/src/Tools/Metis/src/KeyMap.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE MAPS WITH A FIXED KEY TYPE *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature KeyMap =
--- a/src/Tools/Metis/src/KeyMap.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/KeyMap.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE MAPS WITH A FIXED KEY TYPE *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* 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 Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE KNUTH-BENDIX TERM ORDERING *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature KnuthBendixOrder =
--- a/src/Tools/Metis/src/KnuthBendixOrder.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/KnuthBendixOrder.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* KNUTH-BENDIX TERM ORDERING CONSTRAINTS *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure KnuthBendixOrder :> KnuthBendixOrder =
--- a/src/Tools/Metis/src/Lazy.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SUPPORT FOR LAZY EVALUATION *)
-(* Copyright (c) 2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Lazy =
--- a/src/Tools/Metis/src/Lazy.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Lazy.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SUPPORT FOR LAZY EVALUATION *)
-(* Copyright (c) 2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Lazy :> Lazy =
--- a/src/Tools/Metis/src/Literal.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC LITERALS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Literal =
--- a/src/Tools/Metis/src/Literal.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Literal.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC LITERALS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Literal :> Literal =
--- a/src/Tools/Metis/src/LiteralNet.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature LiteralNet =
--- a/src/Tools/Metis/src/LiteralNet.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/LiteralNet.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure LiteralNet :> LiteralNet =
--- a/src/Tools/Metis/src/Map.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Map.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Map =
--- a/src/Tools/Metis/src/Map.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Map.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Map :> Map =
--- a/src/Tools/Metis/src/Model.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Model.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* RANDOM FINITE MODELS *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Model =
--- a/src/Tools/Metis/src/Model.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Model.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* RANDOM FINITE MODELS *)
-(* Copyright (c) 2003 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Model :> Model =
--- a/src/Tools/Metis/src/Name.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Name.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NAMES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Name =
--- a/src/Tools/Metis/src/Name.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Name.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NAMES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Name :> Name =
--- a/src/Tools/Metis/src/NameArity.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NAME/ARITY PAIRS *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature NameArity =
--- a/src/Tools/Metis/src/NameArity.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/NameArity.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NAME/ARITY PAIRS *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure NameArity :> NameArity =
--- a/src/Tools/Metis/src/Normalize.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NORMALIZING FORMULAS *)
-(* Copyright (c) 2001-2009 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2009 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Normalize =
--- a/src/Tools/Metis/src/Normalize.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Normalize.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* NORMALIZING FORMULAS *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Normalize :> Normalize =
--- a/src/Tools/Metis/src/Options.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Options.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PROCESSING COMMAND LINE OPTIONS *)
-(* Copyright (c) 2003-2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003-2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Options =
--- a/src/Tools/Metis/src/Options.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Options.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PROCESSING COMMAND LINE OPTIONS *)
-(* Copyright (c) 2003-2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003-2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Options :> Options =
--- a/src/Tools/Metis/src/Ordered.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ORDERED TYPES *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Ordered =
--- a/src/Tools/Metis/src/Ordered.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ORDERED TYPES *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure IntOrdered =
--- a/src/Tools/Metis/src/Parse.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PARSING *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Parse =
--- a/src/Tools/Metis/src/Parse.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PARSING *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Parse :> Parse =
--- a/src/Tools/Metis/src/Portable.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Portable.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ML SPECIFIC FUNCTIONS *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Portable =
--- a/src/Tools/Metis/src/PortableMlton.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/PortableMlton.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MLTON SPECIFIC FUNCTIONS *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Portable :> Portable =
--- a/src/Tools/Metis/src/PortableMosml.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/PortableMosml.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MOSCOW ML SPECIFIC FUNCTIONS *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Portable :> Portable =
--- a/src/Tools/Metis/src/PortablePolyml.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/PortablePolyml.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* POLY/ML SPECIFIC FUNCTIONS *)
-(* Copyright (c) 2008 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2008 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Portable :> Portable =
--- a/src/Tools/Metis/src/Print.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Print.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PRETTY-PRINTING *)
-(* Copyright (c) 2001-2008 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2008 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Print =
--- a/src/Tools/Metis/src/Print.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Print.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PRETTY-PRINTING *)
-(* Copyright (c) 2001-2008 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2008 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Print :> Print =
--- a/src/Tools/Metis/src/Problem.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* CNF PROBLEMS *)
-(* Copyright (c) 2001-2008 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2008 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Problem =
--- a/src/Tools/Metis/src/Problem.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Problem.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* CNF PROBLEMS *)
-(* Copyright (c) 2001-2008 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2008 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Problem :> Problem =
--- a/src/Tools/Metis/src/Proof.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PROOFS IN FIRST ORDER LOGIC *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Proof =
--- a/src/Tools/Metis/src/Proof.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Proof.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PROOFS IN FIRST ORDER LOGIC *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Proof :> Proof =
--- a/src/Tools/Metis/src/Resolution.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE RESOLUTION PROOF PROCEDURE *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Resolution =
--- a/src/Tools/Metis/src/Resolution.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Resolution.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE RESOLUTION PROOF PROCEDURE *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Resolution :> Resolution =
--- a/src/Tools/Metis/src/Rewrite.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ORDERED REWRITING FOR FIRST ORDER TERMS *)
-(* Copyright (c) 2003-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Rewrite =
--- a/src/Tools/Metis/src/Rewrite.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Rewrite.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ORDERED REWRITING FOR FIRST ORDER TERMS *)
-(* Copyright (c) 2003-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2003-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Rewrite :> Rewrite =
--- a/src/Tools/Metis/src/Rule.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Rule =
--- a/src/Tools/Metis/src/Rule.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Rule.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* DERIVED RULES FOR CREATING FIRST ORDER LOGIC THEOREMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Rule :> Rule =
--- a/src/Tools/Metis/src/Set.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Set.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Set =
--- a/src/Tools/Metis/src/Set.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Set.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Set :> Set =
--- a/src/Tools/Metis/src/Sharing.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PRESERVING SHARING OF ML VALUES *)
-(* Copyright (c) 2005-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2005-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Sharing =
--- a/src/Tools/Metis/src/Sharing.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Sharing.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PRESERVING SHARING OF ML VALUES *)
-(* Copyright (c) 2005-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2005-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Sharing :> Sharing =
--- a/src/Tools/Metis/src/Stream.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Stream =
--- a/src/Tools/Metis/src/Stream.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A POSSIBLY-INFINITE STREAM DATATYPE FOR ML *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Stream :> Stream =
--- a/src/Tools/Metis/src/Subst.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC SUBSTITUTIONS *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Subst =
--- a/src/Tools/Metis/src/Subst.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Subst.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC SUBSTITUTIONS *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Subst :> Subst =
--- a/src/Tools/Metis/src/Subsume.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Subsume =
--- a/src/Tools/Metis/src/Subsume.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Subsume.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SUBSUMPTION CHECKING FOR FIRST ORDER LOGIC CLAUSES *)
-(* Copyright (c) 2002-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Subsume :> Subsume =
--- a/src/Tools/Metis/src/Term.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Term.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC TERMS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Term =
--- a/src/Tools/Metis/src/Term.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Term.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* FIRST ORDER LOGIC TERMS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Term :> Term =
--- a/src/Tools/Metis/src/TermNet.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature TermNet =
--- a/src/Tools/Metis/src/TermNet.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/TermNet.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC TERMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure TermNet :> TermNet =
--- a/src/Tools/Metis/src/Thm.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Thm =
--- a/src/Tools/Metis/src/Thm.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Thm.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A LOGICAL KERNEL FOR FIRST ORDER CLAUSAL THEOREMS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Thm :> Thm =
--- a/src/Tools/Metis/src/Tptp.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE TPTP PROBLEM FILE FORMAT *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Tptp =
--- a/src/Tools/Metis/src/Tptp.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Tptp.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE TPTP PROBLEM FILE FORMAT *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Tptp :> Tptp =
--- a/src/Tools/Metis/src/Units.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Units.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A STORE FOR UNIT THEOREMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Units =
--- a/src/Tools/Metis/src/Units.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Units.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* A STORE FOR UNIT THEOREMS *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Units :> Units =
--- a/src/Tools/Metis/src/Useful.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ML UTILITY FUNCTIONS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Useful =
--- a/src/Tools/Metis/src/Useful.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* ML UTILITY FUNCTIONS *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Useful :> Useful =
--- a/src/Tools/Metis/src/Waiting.sig Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sig Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE WAITING SET OF CLAUSES *)
-(* Copyright (c) 2002-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
signature Waiting =
--- a/src/Tools/Metis/src/Waiting.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/Waiting.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* THE WAITING SET OF CLAUSES *)
-(* Copyright (c) 2002-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2002-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
structure Waiting :> Waiting =
--- a/src/Tools/Metis/src/problems.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/problems.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
(* ========================================================================= *)
--- a/src/Tools/Metis/src/problems2tptp.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/problems2tptp.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
open Useful;
--- a/src/Tools/Metis/src/selftest.sml Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/selftest.sml Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* METIS TESTS *)
-(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)
(* ------------------------------------------------------------------------- *)