Added see license.txt to license field

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Aug 31, 2010 · 9889088 · 9889088
1 parent 98ddb1d
commit 9889088
Show file tree

Hide file tree

Showing 799 changed files with 802 additions and 802 deletions.
diff --git a/ATC.hs b/ATC.hs
@@ -2,7 +2,7 @@
 Module      :  $Id$
 Description :  shared ATerm conversion instances
 Copyright   :  (c) Christian Maeder and Uni Bremen 2005-2007
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/ATC/ATCTest.hs b/ATC/ATCTest.hs
@@ -2,7 +2,7 @@
 Module      :  $EmptyHeader$
 Description :  <optional short description entry>
 Copyright   :  (c) <Authors or Affiliations>
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  <email>
 Stability   :  unstable | experimental | provisional | stable | frozen

diff --git a/ATC/ATCTest2.hs b/ATC/ATCTest2.hs
@@ -2,7 +2,7 @@
 Module      :  $EmptyHeader$
 Description :  <optional short description entry>
 Copyright   :  (c) <Authors or Affiliations>
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  <email>
 Stability   :  unstable | experimental | provisional | stable | frozen

diff --git a/ATC/ExtSign.hs b/ATC/ExtSign.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  generated Typeable, ShATermConvertible instances
 Copyright   :  (c) DFKI Bremen 2008
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/ATC/Grothendieck.der.hs b/ATC/Grothendieck.der.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  manually created ShATermConvertible instances
 Copyright   :  (c) Felix Reckers, C. Maeder, Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/ATC/Sml_cats.hs b/ATC/Sml_cats.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  conversions to and from old SML aterm format
 Copyright   :  (c) Klaus Luettich and Uni Bremen 2002-2004
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/As.hs b/Adl/As.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  abstract ADL syntax
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/Logic_Adl.hs b/Adl/Logic_Adl.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  the Logic instance for ADL
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/Parse.hs b/Adl/Parse.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  ADL syntax parser
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/Print.hs b/Adl/Print.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  pretty printing ADL syntax
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/Sign.hs b/Adl/Sign.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  ADL signature and sentences
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/StatAna.hs b/Adl/StatAna.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  static ADL analysis
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/Adl/adl.hs b/Adl/adl.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  ADL syntax parser
 Copyright   :  (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL.hs b/CASL.hs
@@ -2,7 +2,7 @@
 Module      :  $Id$
 Description :  basics of the common algebraic specification language
 Copyright   :  (c) Christian Maeder and DFKI Lab Bremen 2007
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/AS_Basic_CASL.der.hs b/CASL/AS_Basic_CASL.der.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Abstract syntax of CASL basic specifications
 Copyright   :  (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/AlphaConvert.hs b/CASL/AlphaConvert.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  alpha-conversion (renaming of bound variables) for CASL formulas
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Amalgamability.hs b/CASL/Amalgamability.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  Amalgamability analysis for CASL.
 Copyright   :  (c) Maciek Makowski, Warsaw University 2004-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CCC/FreeTypes.hs b/CASL/CCC/FreeTypes.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  consistency checking of free types
 Copyright   :  (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  mgross@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CCC/OnePoint.hs b/CASL/CCC/OnePoint.hs
@@ -3,7 +3,7 @@
     Module      :  $Header$
     Description :  Check for truth in one-point model
     Copyright   :  (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004
-    License     :  GPLv2 or higher
+    License     :  GPLv2 or higher, see LICENSE.txt
 
     Maintainer  :  xinga@informatik.uni-bremen.de
     Stability   :  provisional

diff --git a/CASL/CCC/TermFormula.hs b/CASL/CCC/TermFormula.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  auxiliary functions on terms and formulas
 Copyright   :  (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  xinga@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CCC/TerminationProof.hs b/CASL/CCC/TerminationProof.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  termination proofs for equation systems, using AProVE
 Copyright   :  (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  xinga@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/ColimSign.hs b/CASL/ColimSign.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  CASL signatures colimits
 Copyright   :  (c) Mihai Codescu, and Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 Maintainer  :  mcodescu@informatik.uni-bremen.de
 Stability   :  provisional
 Portability :  non-portable

diff --git a/CASL/CompositionTable/CompositionTable.hs b/CASL/CompositionTable/CompositionTable.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  composition tables of qualitative calculi
 Copyright   :  (c) Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CompositionTable/ComputeTable.hs b/CASL/CompositionTable/ComputeTable.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Compute the composition table of a relational algebra
 Copyright   :  (c) Till Mossakowski, Uni Bremen 2002-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CompositionTable/ModelChecker.hs b/CASL/CompositionTable/ModelChecker.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  checks validity of models regarding a composition table
 Copyright   :  (c) Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  fmossa@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CompositionTable/ParseSparQ.hs b/CASL/CompositionTable/ParseSparQ.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  parsing SparQ CompositionTables
 Copyright   :  (c) Christian Maeder and Uni Bremen 2002-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  fmossa@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/CompositionTable/ToXml.hs b/CASL/CompositionTable/ToXml.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  XML output for composition tables of qualitative calculi
 Copyright   :  (c) Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/Fold.hs b/CASL/Fold.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  folding functions for CASL terms and formulas
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Formula.hs b/CASL/Formula.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Parser for CASL terms and formulae
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Freeness.hs b/CASL/Freeness.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Computation of the constraints needed for free definition links.
 Copyright   :  (c) Adrian Riesco, Facultad de Informatica UCM 2009
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  ariesco@fdi.ucm.es
 Stability   :  experimental

diff --git a/CASL/Induction.hs b/CASL/Induction.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Derive induction schemes from sort generation constraints
 Copyright   :  (c) Till Mossakowski, Rainer Grabbe and Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/Inject.hs b/CASL/Inject.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Replace Sorted_term(s) with explicit injection functions.
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Kif.hs b/CASL/Kif.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Parsing lists of lists with SUMO .kif files
 Copyright   :  (c) T.Mossakowski, C.Maeder and Uni Bremen 2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Kif2CASL.hs b/CASL/Kif2CASL.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Parser for SUMO (suggested upper merged ontology) .kif files
 Copyright   :  (c) T.Mossakowski, C.Maeder and Uni Bremen 2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Logic_CASL.hs b/CASL/Logic_CASL.hs
@@ -4,7 +4,7 @@
 Module      :  $Header$
 Description :  Instance of class Logic for the CASL logic
 Copyright   :  (c) Klaus Luettich, Uni Bremen 2002-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  till@informatik.uni-bremen.de
 Stability   :  provisional

diff --git a/CASL/MapSentence.hs b/CASL/MapSentence.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  rename symbols of sentences according to a signature morphisms
 Copyright   :  (c) Christian Maeder, Till Mossakowski and Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/MixfixParser.hs b/CASL/MixfixParser.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Mixfix analysis of terms
 Copyright   :  Christian Maeder and Uni Bremen 2002-2006
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental

diff --git a/CASL/Monoton.hs b/CASL/Monoton.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  monotonicities of the overload relation
 Copyright   :  (c) C. Maeder DFKI Uni Bremen 2002-2005
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Morphism.hs b/CASL/Morphism.hs
@@ -4,7 +4,7 @@
 Module      :  $Header$
 Description :  Symbols and signature morphisms for the CASL logic
 Copyright   :  (c) Christian Maeder, Till Mossakowski and Uni Bremen 2002-2004
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/OMDoc.hs b/CASL/OMDoc.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  CASL specific OMDoc constants
 Copyright   :  (c) Ewaryst Schulz, DFKI Bremen 2009
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  ewaryst.schulz@dfki.de
 Stability   :  provisional

diff --git a/CASL/OMDocExport.hs b/CASL/OMDocExport.hs
@@ -3,7 +3,7 @@
 Module      :  $Header$
 Description :  CASL-to-OMDoc conversion
 Copyright   :  (c) Ewaryst Schulz, DFKI Bremen 2009
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  ewaryst.schulz@dfki.de
 Stability   :  provisional

diff --git a/CASL/OMDocImport.hs b/CASL/OMDocImport.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  OMDoc-to-CASL conversion
 Copyright   :  (c) Ewaryst Schulz, DFKI Bremen 2009
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  ewaryst.schulz@dfki.de
 Stability   :  provisional

diff --git a/CASL/OpItem.hs b/CASL/OpItem.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Parser for OP-ITEMs (operation declarations and definitions)
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional

diff --git a/CASL/Overload.hs b/CASL/Overload.hs
@@ -2,7 +2,7 @@
 Module      :  $Header$
 Description :  Overload resolution
 Copyright   :  (c) Martin Kuehl, T. Mossakowski, C. Maeder, 2004-2007
-License     :  GPLv2 or higher
+License     :  GPLv2 or higher, see LICENSE.txt
 
 Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional