{- |

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