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

* "TopHybrid.StatAna.hs"
-}
module TopHybrid where