Changeset 12716

Show
Ignore:
Timestamp:
25.10.2009 01:18:46 (4 weeks ago)
Author:
kristina
Message:

Corrected the headers for files

Location:
trunk/DFOL
Files:
10 modified

Legend:

Unmodified
Added
Removed

  • trunk/DFOL/AS_DFOL.hs

    r12715 r12716  
    22Module      :  $Header$ 
    33Description :  Abstract syntax for first-order logic with dependent types (DFOL) 
    4 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     4Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    7 Maintainer  :  k.sojakova@ijacobs-university.de 
     7Maintainer  :  k.sojakova@jacobs-university.de 
    88Stability   :  experimental 
    99Portability :  portable 

  • trunk/DFOL/Analysis_DFOL.hs

    r12714 r12716  
    22Module      :  $Header$ 
    33Description :  Static analysis for first-order logic with dependent types (DFOL) 
    4 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     4Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    7 Maintainer  :  k.sojakova@ijacobs-university.de 
     7Maintainer  :  k.sojakova@jacobs-university.de 
    88Stability   :  experimental 
    99Portability :  portable 

  • trunk/DFOL/Colimit.hs

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

  • trunk/DFOL/Comorphism.hs

    r12714 r12716  
    22Module      :  $Header$ 
    33Description :  Helper functions for the DFOL -> CASL translation 
    4 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     4Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    7 Maintainer  :  k.sojakova@ijacobs-university.de 
     7Maintainer  :  k.sojakova@jacobs-university.de 
    88Stability   :  experimental 
    99Portability :  portable 

  • trunk/DFOL/Logic_DFOL.hs

    r12715 r12716  
    33Description :  Instances of classes defined in Logic.hs for first-order logic 
    44               with dependent types (DFOL) 
    5 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     5Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    66License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    77 
    8 Maintainer  :  k.sojakova@ijacobs-university.de 
     8Maintainer  :  k.sojakova@jacobs-university.de 
    99Stability   :  experimental 
    1010Portability :  portable 

  • trunk/DFOL/Morphism.hs

    r12715 r12716  
    33Description :  Definition of signature morphisms for 
    44               first-order logic with dependent types (DFOL) 
    5 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     5Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    66License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    77 
    8 Maintainer  :  k.sojakova@ijacobs-university.de 
     8Maintainer  :  k.sojakova@jacobs-university.de 
    99Stability   :  experimental 
    1010Portability :  portable 

  • trunk/DFOL/Parse_AS_DFOL.hs

    r12714 r12716  
    22Module      :  $Header$ 
    33Description :  AParser for first-order logic with dependent types (DFOL) 
    4 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     4Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    7 Maintainer  :  k.sojakova@ijacobs-university.de 
     7Maintainer  :  k.sojakova@jacobs-university.de 
    88Stability   :  experimental 
    99Portability :  portable 

  • trunk/DFOL/Sign.hs

    r12714 r12716  
    33Description :  Definition of signatures for first-order logic 
    44               with dependent types (DFOL) 
    5 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     5Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    66License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    77 
    8 Maintainer  :  k.sojakova@ijacobs-university.de 
     8Maintainer  :  k.sojakova@jacobs-university.de 
    99Stability   :  experimental 
    1010Portability :  portable 

  • trunk/DFOL/Symbol.hs

    r12714 r12716  
    33Description :  Symbol definition for first-order logic 
    44               with dependent types (DFOL) 
    5 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     5Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    66License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    77 
    8 Maintainer  :  k.sojakova@ijacobs-university.de 
     8Maintainer  :  k.sojakova@jacobs-university.de 
    99Stability   :  experimental 
    1010Portability :  portable 

  • trunk/DFOL/Utils.hs

    r12714 r12716  
    22Module      :  $Header$ 
    33Description :  Utilities for first-order logic with dependent types (DFOL) 
    4 Copyright   :  (c) Kristina Sojakova, Jacobs University 2009 
     4Copyright   :  (c) Kristina Sojakova, DFKI Bremen 2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    7 Maintainer  :  k.sojakova@ijacobs-university.de 
     7Maintainer  :  k.sojakova@jacobs-university.de 
    88Stability   :  experimental 
    99Portability :  portable