{- |
Module      :  $Id$
Description :  hybrid logic extension of CASL

Stability   :  experimental

This folder contains the files for HybridCASL basic specs


* "Hybrid.AS_Hybrid"            abstract syntax

* "Hybrid.Parse_AS"             parser

* "Hybrid.HybridSign"           signatures

* "Hybrid.ATC_Hybrid"

* "Hybrid.Logic_Hybrid"         the HybridCASL instance of type class 'Logic.Logic.Logic'

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