2796N/A{- |

2796N/AModule : $Header$

2796N/ADescription : Helper functions for Prop2CASL

2796N/ACopyright : (c) Dominik Luecke and Uni Bremen 2007

2796N/ALicense : GPLv2 or higher, see LICENSE.txt

2796N/A

2796N/AMaintainer : luecke@informatik.uni-bremen.de

2796N/AStability : experimental

2796N/APortability : portable (imports Logic.Logic)

2796N/A

2796N/AThe helpers for translating comorphism from Propositional to CASL.

2796N/A

2796N/A-}

2796N/A

2796N/Amodule CSL.CSL2HasCASL

2796N/A where

2796N/A

2796N/Aimport qualified Data.Set as Set

2796N/Aimport qualified Data.Map as Map

2796N/Aimport qualified Common.AS_Annotation as AS_Anno

2796N/Aimport qualified Common.Id as Id

2796N/Aimport qualified Common.Result as Result

2796N/A

2796N/A-- CSL

2796N/Aimport qualified CSL.AS_BASIC_CSL as RBasic

2796N/A-- import qualified CSL.Sublogic as PSL

2796N/Aimport qualified CSL.Sign as RSign

2796N/Aimport qualified CSL.Morphism as RMor

2796N/Aimport qualified CSL.Symbol as PSymbol

2796N/A

2796N/A-- HasCASL

2796N/Aimport HasCASL.Logic_HasCASL

import HasCASL.As

import HasCASL.AsUtils

import HasCASL.Le

import HasCASL.Builtin

import HasCASL.Sublogic as HasSub

import HasCASL.FoldTerm as HasFold