CspCASL2Modal.hs revision dece9056c18ada64bcc8f2fba285270374139ee8
ca337b99e66de2eae53892d74a23a49d742b7952Iulia Ignatov{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances #-}
ca337b99e66de2eae53892d74a23a49d742b7952Iulia IgnatovModule : $Header$
ca337b99e66de2eae53892d74a23a49d742b7952Iulia IgnatovCopyright : (c) Till Mossakowski and Uni Bremen 2004
ca337b99e66de2eae53892d74a23a49d742b7952Iulia IgnatovLicense : GPLv2 or higher, see LICENSE.txt
ca337b99e66de2eae53892d74a23a49d742b7952Iulia IgnatovMaintainer : till@informatik.uni-bremen.de
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStability : provisional
Portability : non-portable (imports Logic.Logic)
module Comorphisms.CspCASL2Modal where
import Logic.Logic
import Logic.Comorphism
import Common.Id
import CASL.Sign
import CASL.AS_Basic_CASL
import CASL.Morphism
import CspCASL.Logic_CspCASL
import CspCASL.SignCSP
import CspCASL.StatAnaCSP (CspBasicSpec)
import CspCASL.Morphism (CspCASLMorphism)
import CspCASL.SymbItems
import CspCASL.Symbol
import Modal.Logic_Modal
import Modal.AS_Modal
import Modal.ModalSign
mapSym = error "CspCASL2Modal.mapSym not yet implemented"
_ -> error "CspCASL2Modal.mapSen"
_ -> error "CspCASL2Modal.mapTERM"