Changeset 12716 for trunk/DFOL/Parse_AS_DFOL.hs

Timestamp:

25.10.2009 01:18:46 (5 months ago)

Author:

kristina

Message:

Corrected the headers for files

Files:

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

trunk/DFOL/Parse_AS_DFOL.hs

@@ -2 +2 @@
 Module      :  $Header$
 Description :  AParser 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