{- |

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