| Copyright | (c) Till Mossakowski, Uni Bremen 2002-2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable (via Logic) |
| Safe Haskell | None |
COL.Logic_COL
Description
COL instance of class Logic
Documentation
data COL
Constructors
| COL |
Instances
type C_BASIC_SPEC = BASIC_SPEC () COL_SIG_ITEM ()
type COLFORMULA = FORMULA ()