{- |
Description :  Constructor-based observational logic (unfinished)
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

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>.


-}

module COL where