Changeset 12721

Show
Ignore:
Timestamp:
26.10.2009 12:12:27 (4 weeks ago)
Author:
maeder
Message:

changed header

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2PCFOL.hs

    r12720 r12721  
    11{- | 
    22Module      :  $Header$ 
    3 Descripzion :  coding out subsorting 
    4 Copyright   :  (c) Zicheng Wang, C.Maeder Uni Bremen 2002-2005 
     3Description :  coding out subsorting 
     4Copyright   :  (c) Zicheng Wang, Liam O'Reilly, C. Maeder Uni Bremen 2002-2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    77Maintainer  :  Christian.Maeder@dfki.de 
    88Stability   :  provisional 
    9 Portability :  portable 
     9Portability :  non-portable (imports Logic.Logic) 
    1010 
    1111Coding out subsorting (SubPCFOL= -> PCFOL=),