{- |
Description : syntax and analysis for adding object logics to Hets from their specification in a logical framework

The folder "Framework" contains the infrastructure needed for
extending Hets with new logics which are specified in
some logical framework. Currently, this only works for LF, but
reading Isabelle and Maude definitions of logics is also
possible.

The module "Framework.AS" gives the abstract syntax, while the
static analysis of the newly defined logics is implemented in
the module "Framework.Analysis" and it relies on the methods
provided by the instances of the class 'Logic.Logic.LogicalFramework'.

-}

module Framework where