# HG changeset patch # User paulson # Date 1182940896 -7200 # Node ID 4521fead56094fa9e396e0bbeaf1d0acb3a7d11e # Parent 14a2f87ccc73b280deecde16bcd55390fd155bc8 GPL -> BSD diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/metis.ML --- a/src/Tools/Metis/metis.ML Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/metis.ML Wed Jun 27 12:41:36 2007 +0200 @@ -13,7 +13,7 @@ (* ========================================================================= *) (* ML SPECIFIC FUNCTIONS *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Portable = @@ -1032,7 +1032,7 @@ (* ========================================================================= *) (* ML UTILITY FUNCTIONS *) -(* Copyright (c) 2001-2005 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2005 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Useful = @@ -1345,7 +1345,7 @@ val print = TextIO.print; (* ========================================================================= *) (* ML UTILITY FUNCTIONS *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Useful :> Useful = @@ -2040,7 +2040,7 @@ (* ========================================================================= *) (* 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 = @@ -2066,7 +2066,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -2103,7 +2103,7 @@ (* ========================================================================= *) (* 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 = @@ -2145,7 +2145,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -2159,7 +2159,7 @@ (* ========================================================================= *) (* FINITE SETS *) -(* 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 Set = @@ -2281,7 +2281,7 @@ val print = TextIO.print; (* ========================================================================= *) (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES *) -(* 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 RandomSet :> Set = @@ -2898,7 +2898,7 @@ val print = TextIO.print; (* ========================================================================= *) (* FINITE SETS *) -(* 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 Set = RandomSet; @@ -2908,7 +2908,7 @@ (* ========================================================================= *) (* FINITE SETS WITH A FIXED ELEMENT TYPE *) -(* 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 ElementSet = @@ -3024,7 +3024,7 @@ (* ========================================================================= *) (* FINITE SETS WITH A FIXED ELEMENT TYPE *) -(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) functor ElementSet (Key : Ordered) :> ElementSet where type element = Key.t = @@ -3150,7 +3150,7 @@ (* ========================================================================= *) (* FINITE MAPS *) -(* 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 Map = @@ -3262,7 +3262,7 @@ val print = TextIO.print; (* ========================================================================= *) (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES *) -(* 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 RandomMap :> Map = @@ -3893,7 +3893,7 @@ val print = TextIO.print; (* ========================================================================= *) (* FINITE MAPS *) -(* 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 Map = RandomMap; @@ -3903,7 +3903,7 @@ (* ========================================================================= *) (* FINITE MAPS WITH A FIXED KEY TYPE *) -(* 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 KeyMap = @@ -4009,7 +4009,7 @@ (* ========================================================================= *) (* FINITE MAPS WITH A FIXED KEY TYPE *) -(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) functor KeyMap (Key : Ordered) :> KeyMap where type key = Key.t = @@ -4127,7 +4127,7 @@ (* ========================================================================= *) (* 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 = @@ -4173,7 +4173,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -4256,7 +4256,7 @@ (* ========================================================================= *) (* 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 = @@ -4357,7 +4357,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -4563,7 +4563,7 @@ (* ========================================================================= *) (* 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 = @@ -4603,7 +4603,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -4684,7 +4684,7 @@ (* ========================================================================= *) (* PARSING AND PRETTY PRINTING *) -(* 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 Parser = @@ -4837,7 +4837,7 @@ val print = TextIO.print; (* ========================================================================= *) (* PARSER COMBINATORS *) -(* 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 Parser :> Parser = @@ -5237,7 +5237,7 @@ (* ========================================================================= *) (* 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 = @@ -5339,7 +5339,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -5597,7 +5597,7 @@ (* ========================================================================= *) (* NAMES *) -(* 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 Name = @@ -5621,7 +5621,7 @@ val print = TextIO.print; (* ========================================================================= *) (* NAMES *) -(* 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 Name :> Name = @@ -5710,7 +5710,7 @@ (* ========================================================================= *) (* 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 Term = @@ -5896,7 +5896,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 Term :> Term = @@ -6560,7 +6560,7 @@ (* ========================================================================= *) (* 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 = @@ -6668,7 +6668,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -6880,7 +6880,7 @@ (* ========================================================================= *) (* 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 = @@ -7026,7 +7026,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -7275,7 +7275,7 @@ (* ========================================================================= *) (* 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 = @@ -7463,7 +7463,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -7982,7 +7982,7 @@ (* ========================================================================= *) (* 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 = @@ -8154,7 +8154,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -8431,7 +8431,7 @@ (* ========================================================================= *) (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSES *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Thm = @@ -8588,7 +8588,7 @@ val print = TextIO.print; (* ========================================================================= *) (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSES *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Thm :> Thm = @@ -8815,7 +8815,7 @@ (* ========================================================================= *) (* 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 = @@ -8873,7 +8873,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -9256,7 +9256,7 @@ (* ========================================================================= *) (* 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 = @@ -9535,7 +9535,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -10302,7 +10302,7 @@ (* ========================================================================= *) (* 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 *) (* ========================================================================= *) signature Normalize = @@ -10332,7 +10332,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -11398,7 +11398,7 @@ (* ========================================================================= *) (* RANDOM FINITE MODELS *) -(* Copyright (c) 2003-2007 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2003-2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Model = @@ -11501,7 +11501,7 @@ val print = TextIO.print; (* ========================================================================= *) (* RANDOM FINITE MODELS *) -(* Copyright (c) 2003-2007 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2003-2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Model :> Model = @@ -12104,7 +12104,7 @@ (* ========================================================================= *) (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) -(* 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 Problem = @@ -12170,7 +12170,7 @@ val print = TextIO.print; (* ========================================================================= *) (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) -(* 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 Problem :> Problem = @@ -12359,7 +12359,7 @@ (* ========================================================================= *) (* 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 = @@ -12418,7 +12418,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -12840,7 +12840,7 @@ (* ========================================================================= *) (* 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 = @@ -12897,7 +12897,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -12960,7 +12960,7 @@ (* ========================================================================= *) (* 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 = @@ -13019,7 +13019,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -13097,7 +13097,7 @@ (* ========================================================================= *) (* 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 = @@ -13157,7 +13157,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -13495,7 +13495,7 @@ (* ========================================================================= *) (* 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 = @@ -13526,7 +13526,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -13781,7 +13781,7 @@ (* ========================================================================= *) (* 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 = @@ -13877,7 +13877,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -14533,7 +14533,7 @@ (* ========================================================================= *) (* 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 = @@ -14591,7 +14591,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -14701,7 +14701,7 @@ (* ========================================================================= *) (* 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 = @@ -14815,7 +14815,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -15168,7 +15168,7 @@ (* ========================================================================= *) (* 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 = @@ -15227,7 +15227,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -16034,7 +16034,7 @@ (* ========================================================================= *) (* 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 = @@ -16091,7 +16091,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -16272,7 +16272,7 @@ (* ========================================================================= *) (* 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 = @@ -16330,7 +16330,7 @@ val print = TextIO.print; (* ========================================================================= *) (* 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 = @@ -16432,7 +16432,7 @@ (* ========================================================================= *) (* INTERFACE TO TPTP PROBLEM FILES *) -(* 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 Tptp = @@ -16520,7 +16520,7 @@ val print = TextIO.print; (* ========================================================================= *) (* INTERFACE TO TPTP PROBLEM FILES *) -(* 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 Tptp :> Tptp = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Active.sig --- a/src/Tools/Metis/src/Active.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Active.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Active.sml --- a/src/Tools/Metis/src/Active.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Active.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Atom.sig --- a/src/Tools/Metis/src/Atom.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Atom.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Atom.sml --- a/src/Tools/Metis/src/Atom.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Atom.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/AtomNet.sig --- a/src/Tools/Metis/src/AtomNet.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/AtomNet.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/AtomNet.sml --- a/src/Tools/Metis/src/AtomNet.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/AtomNet.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Clause.sig --- a/src/Tools/Metis/src/Clause.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Clause.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Clause.sml --- a/src/Tools/Metis/src/Clause.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Clause.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/ElementSet.sig --- a/src/Tools/Metis/src/ElementSet.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/ElementSet.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE SETS WITH A FIXED ELEMENT TYPE *) -(* 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 ElementSet = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/ElementSet.sml --- a/src/Tools/Metis/src/ElementSet.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/ElementSet.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE SETS WITH A FIXED ELEMENT TYPE *) -(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) functor ElementSet (Key : Ordered) :> ElementSet where type element = Key.t = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Formula.sig --- a/src/Tools/Metis/src/Formula.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Formula.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Formula.sml --- a/src/Tools/Metis/src/Formula.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Formula.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Heap.sig --- a/src/Tools/Metis/src/Heap.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Heap.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Heap.sml --- a/src/Tools/Metis/src/Heap.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Heap.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/KeyMap.sig --- a/src/Tools/Metis/src/KeyMap.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/KeyMap.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE MAPS WITH A FIXED KEY TYPE *) -(* 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 KeyMap = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/KeyMap.sml --- a/src/Tools/Metis/src/KeyMap.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/KeyMap.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE MAPS WITH A FIXED KEY TYPE *) -(* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) functor KeyMap (Key : Ordered) :> KeyMap where type key = Key.t = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/KnuthBendixOrder.sig --- a/src/Tools/Metis/src/KnuthBendixOrder.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/KnuthBendixOrder.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/KnuthBendixOrder.sml --- a/src/Tools/Metis/src/KnuthBendixOrder.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/KnuthBendixOrder.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Lazy.sig --- a/src/Tools/Metis/src/Lazy.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Lazy.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Lazy.sml --- a/src/Tools/Metis/src/Lazy.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Lazy.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Literal.sig --- a/src/Tools/Metis/src/Literal.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Literal.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Literal.sml --- a/src/Tools/Metis/src/Literal.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Literal.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/LiteralNet.sig --- a/src/Tools/Metis/src/LiteralNet.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/LiteralNet.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/LiteralNet.sml --- a/src/Tools/Metis/src/LiteralNet.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/LiteralNet.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Map.sig --- a/src/Tools/Metis/src/Map.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Map.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE MAPS *) -(* 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 Map = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Map.sml --- a/src/Tools/Metis/src/Map.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Map.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE MAPS *) -(* 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 Map = RandomMap; diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Model.sig --- a/src/Tools/Metis/src/Model.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Model.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* RANDOM FINITE MODELS *) -(* Copyright (c) 2003-2007 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2003-2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Model = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Model.sml --- a/src/Tools/Metis/src/Model.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Model.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* RANDOM FINITE MODELS *) -(* Copyright (c) 2003-2007 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2003-2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Model :> Model = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Name.sig --- a/src/Tools/Metis/src/Name.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Name.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* NAMES *) -(* 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 Name = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Name.sml --- a/src/Tools/Metis/src/Name.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Name.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* NAMES *) -(* 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 Name :> Name = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Normalize.sig --- a/src/Tools/Metis/src/Normalize.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Normalize.sig Wed Jun 27 12:41:36 2007 +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 *) (* ========================================================================= *) signature Normalize = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Normalize.sml --- a/src/Tools/Metis/src/Normalize.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Normalize.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Options.sig --- a/src/Tools/Metis/src/Options.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Options.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Options.sml --- a/src/Tools/Metis/src/Options.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Options.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Ordered.sig --- a/src/Tools/Metis/src/Ordered.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Ordered.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Ordered.sml --- a/src/Tools/Metis/src/Ordered.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Ordered.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Parser.sig --- a/src/Tools/Metis/src/Parser.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Parser.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* PARSING AND PRETTY PRINTING *) -(* 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 Parser = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Parser.sml --- a/src/Tools/Metis/src/Parser.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Parser.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* PARSER COMBINATORS *) -(* 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 Parser :> Parser = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Portable.sig --- a/src/Tools/Metis/src/Portable.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Portable.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* ML SPECIFIC FUNCTIONS *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Portable = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/PortableMlton.sml --- a/src/Tools/Metis/src/PortableMlton.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/PortableMlton.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/PortableMosml.sml --- a/src/Tools/Metis/src/PortableMosml.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/PortableMosml.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* MOSCOW ML SPECIFIC FUNCTIONS *) -(* 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 Portable :> Portable = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/PortableSmlNJ.sml --- a/src/Tools/Metis/src/PortableSmlNJ.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/PortableSmlNJ.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* POLYML SPECIFIC FUNCTIONS *) -(* Copyright (c) 2002-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2002-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) CM.autoload "$smlnj/init/init.cmi"; diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Problem.sig --- a/src/Tools/Metis/src/Problem.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Problem.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) -(* 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 Problem = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Problem.sml --- a/src/Tools/Metis/src/Problem.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Problem.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) -(* 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 Problem :> Problem = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Proof.sig --- a/src/Tools/Metis/src/Proof.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Proof.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Proof.sml --- a/src/Tools/Metis/src/Proof.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Proof.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/RandomMap.sml --- a/src/Tools/Metis/src/RandomMap.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/RandomMap.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE MAPS IMPLEMENTED WITH RANDOMLY BALANCED TREES *) -(* 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 RandomMap :> Map = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/RandomSet.sml --- a/src/Tools/Metis/src/RandomSet.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/RandomSet.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE SETS IMPLEMENTED WITH RANDOMLY BALANCED TREES *) -(* 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 RandomSet :> Set = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Resolution.sig --- a/src/Tools/Metis/src/Resolution.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Resolution.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Resolution.sml --- a/src/Tools/Metis/src/Resolution.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Resolution.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Rewrite.sig --- a/src/Tools/Metis/src/Rewrite.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Rewrite.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Rewrite.sml --- a/src/Tools/Metis/src/Rewrite.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Rewrite.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Rule.sig --- a/src/Tools/Metis/src/Rule.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Rule.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Rule.sml --- a/src/Tools/Metis/src/Rule.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Rule.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Set.sig --- a/src/Tools/Metis/src/Set.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Set.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE SETS *) -(* 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 Set = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Set.sml --- a/src/Tools/Metis/src/Set.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Set.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* FINITE SETS *) -(* 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 Set = RandomSet; diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Sharing.sig --- a/src/Tools/Metis/src/Sharing.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Sharing.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Sharing.sml --- a/src/Tools/Metis/src/Sharing.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Sharing.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Stream.sig --- a/src/Tools/Metis/src/Stream.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Stream.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Stream.sml --- a/src/Tools/Metis/src/Stream.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Stream.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Subst.sig --- a/src/Tools/Metis/src/Subst.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Subst.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Subst.sml --- a/src/Tools/Metis/src/Subst.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Subst.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Subsume.sig --- a/src/Tools/Metis/src/Subsume.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Subsume.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Subsume.sml --- a/src/Tools/Metis/src/Subsume.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Subsume.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Term.sig --- a/src/Tools/Metis/src/Term.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Term.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* 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 Term = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Term.sml --- a/src/Tools/Metis/src/Term.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Term.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* 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 Term :> Term = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/TermNet.sig --- a/src/Tools/Metis/src/TermNet.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/TermNet.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/TermNet.sml --- a/src/Tools/Metis/src/TermNet.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/TermNet.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Thm.sig --- a/src/Tools/Metis/src/Thm.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Thm.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSES *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Thm = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Thm.sml --- a/src/Tools/Metis/src/Thm.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Thm.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* A LOGICAL KERNEL FOR FIRST ORDER CLAUSES *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Thm :> Thm = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Tptp.sig --- a/src/Tools/Metis/src/Tptp.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Tptp.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* INTERFACE TO TPTP PROBLEM FILES *) -(* 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 Tptp = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Tptp.sml --- a/src/Tools/Metis/src/Tptp.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Tptp.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* INTERFACE TO TPTP PROBLEM FILES *) -(* 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 Tptp :> Tptp = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Units.sig --- a/src/Tools/Metis/src/Units.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Units.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Units.sml --- a/src/Tools/Metis/src/Units.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Units.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Useful.sig --- a/src/Tools/Metis/src/Useful.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Useful.sig Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* ML UTILITY FUNCTIONS *) -(* Copyright (c) 2001-2005 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2005 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Useful = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Useful.sml --- a/src/Tools/Metis/src/Useful.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Useful.sml Wed Jun 27 12:41:36 2007 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* ML UTILITY FUNCTIONS *) -(* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2001-2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) structure Useful :> Useful = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Waiting.sig --- a/src/Tools/Metis/src/Waiting.sig Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Waiting.sig Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/Waiting.sml --- a/src/Tools/Metis/src/Waiting.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/Waiting.sml Wed Jun 27 12:41:36 2007 +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 = diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/problems.sml --- a/src/Tools/Metis/src/problems.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/problems.sml Wed Jun 27 12:41:36 2007 +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 *) (* ========================================================================= *) (* ========================================================================= *) diff -r 14a2f87ccc73 -r 4521fead5609 src/Tools/Metis/src/problems2tptp.sml --- a/src/Tools/Metis/src/problems2tptp.sml Wed Jun 27 11:06:43 2007 +0200 +++ b/src/Tools/Metis/src/problems2tptp.sml Wed Jun 27 12:41:36 2007 +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 *) (* ========================================================================= *) open Useful;