hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.Logic_HasCASL
Portability non-portable (imports Logic.Logic)
Stability experimental
Maintainer hets@tzi.de
Description

Here is the place where the class Logic is instantiated for HasCASL. Also the instances for Syntax an Category.

todo: - writing real functions

Synopsis
data HasCASL = HasCASL
type HasCASL_Sublogics = ()
Produced by Haddock version 0.6