{- |
Description :  extended modal logic extension of CASL
Copyright   :
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :
Stability   :  experimental
Portability :

This folder contains the files for ExtModal basic specs

* "ExtModal.AS_ExtModal"        abstract syntax

* "ExtModal.Parse_AS"           parser

* "ExtModal.Print_AS"           pretty printing

* "ExtModal.ExtModalSign"       signatures

* "ExtModal.StatAna"            static analysis

* "ExtModal.ExtModalSystems"
  recognition of various systems such as S4, S5 etc.

* "ExtModal.ATC_ExtModal"       ATerm conversion

* "ExtModal.Logic_ExtModal"
  the ModalCASL instance of type class 'Logic.Logic.Logic'

-}
module ExtModal where