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