Changeset 12716 for trunk/DFOL/Colimit.hs

Timestamp:

25.10.2009 01:18:46 (5 months ago)

Author:

kristina

Message:

Corrected the headers for files

Files:

• trunk/DFOL/Colimit.hs (modified) (1 diff)

trunk/DFOL/Colimit.hs

@@ -3 +3 @@
 Description :  Signature colimits for first-order logic with dependent
                types (DFOL)
-Copyright   :  (c) Kristina Sojakova, Jacobs University 2009
+Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  k.sojakova@ijacobs-university.de
+Maintainer  :  k.sojakova@jacobs-university.de
 Stability   :  experimental
 Portability :  portable