CoCASL.hs

{- | CoCASL is the coalgebraic extension of CASL.  See /Till
Mossakowski, Lutz Schröder, 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.

"CoCASL.AS_CoCASL" abstract syntax of CoCASL specifications

"CoCASL.ATC_CoCASL" ATerm conversion

"CoCASL.CoCASLSign" CoCASL signatures

"CoCASL.LaTeX_CoCASL" CoCASL LaTeX pretty printing

"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

Special proof tactics for the CoCASL encoding into Isabelle
are delivered in the CASL-lib folder <http://www.cofi.info/Libraries/>
of basic libraries.

-}

module CoCASL where