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
• "Hybrid.StatAna.hs"