Hets - the Heterogeneous Tool Set
Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

COL

Description

Unfinished attempt to integrate constructor-based observational logic (COL) into Hets. Description: Unfinished attempt to integrate constructor-based observational logic

For COL, see http://www.lsv.ens-cachan.fr/~bidoit/rr-lsv-2003-9.rr.pdf.