Changeset 12714 for trunk/DFOL/Sign.hs

Timestamp:

24.10.2009 23:47:59 (5 months ago)

Author:

kristina

Message:

Removed too long lines
Added headers to files

Files:

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

trunk/DFOL/Sign.hs

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