content: {- |
  Module      :  $Id$
  Description :  Co-algebraic CASL extension
  Copyright   :  (c) Christian Maeder and Uni Bremen 2006
  License     :  GPLv2 or higher, see LICENSE.txt
  
  Maintainer  :  Christian.Maeder@dfki.de
  Stability   :  provisional
  Portability :  portable (except CoCASL.Logic_CoCASL)
  
  This folder contains the files for CoCASL basic specs
  
  CoCASL is the coalgebraic extension of CASL.  See /Till
  Mossakowski, Lutz Schroeder, Markus Roggenbach, Horst
  Reichel. Algebraic-co-algebraic specification in CoCASL. Journal of
  Logic and Algebraic Programming. To appear./
  
  The modules for CoCASL largely are built on top of those for "CASL",
  using the holes for future extensions that have been left in the
  datatypes for CASL.
  
  Special proof tactics for the CoCASL encoding into Isabelle
  are delivered in the CASL-lib folder <http://www.cofi.info/Libraries/>
  of basic libraries.
  
  * "CoCASL.AS_CoCASL"    abstract syntax of CoCASL specifications
  
  * "CoCASL.ATC_CoCASL"   ATerm conversion
  
  * "CoCASL.CoCASLSign"   CoCASL signatures
  
  * "CoCASL.Logic_CoCASL" the CoCASL instance of type class 'Logic.Logic.Logic'
  
  * "CoCASL.Parse_AS"     CoCASL parser
  
  * "CoCASL.Print_AS"     CoCASL pretty printer
  
  * "CoCASL.StatAna"      CoCASL static analysis
  
  -}
  module CoCASL where
  