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