{- |
Module : $Id$
Description : Hybrid Logic with an arbitrary logic below
Stability : experimental
This folder contains the files for Top Hybrid Logic basic specs.
* "TopHybrid.AS_TopHybrid" abstract syntax
* "TopHybrid.Parse_AS" parser
* "TopHybrid.TopHybridSign" signatures
* "TopHybrid.ATC_TopHybrid" This is automatically generated
* "TopHybrid.Logic_TopHybrid" the Hybrid instance of type class 'Logic.Logic.Logic'
-}
module TopHybrid where