hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Logic_CASL
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
Here is the place where the class Logic is instantiated for CASL. Also the instances for Syntax an Category.
Synopsis
data CASL = CASL
Produced by Haddock version 0.6