Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable (except CoCASL.Logic_CoCASL)
Safe HaskellSafe

CoCASL

Description

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.