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