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