Logic_CspCASL.hs revision 9996a3bb69ed30a769a07a237801531cc30dc9d7
7ea448352f44eec95bc3e5dcf6f59a4b5dbc5f79Christian MaederModule : $Header$
1d2c2ebba52ca5c89ca40181064ab30e2ef26403Christian MaederCopyright : (c) Markus Roggenbach, Till Mossakowski and Uni Bremen 2003
1d2c2ebba52ca5c89ca40181064ab30e2ef26403Christian MaederLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
1d2c2ebba52ca5c89ca40181064ab30e2ef26403Christian MaederMaintainer : hets@tzi.de
1d2c2ebba52ca5c89ca40181064ab30e2ef26403Christian MaederStability : experimental
1d2c2ebba52ca5c89ca40181064ab30e2ef26403Christian MaederPortability : non-portable
SYMB_ITEMS SYMB_MAP_ITEMS: erstmal von CASL (d.h. nur CASL-Morphismus)
- statische Analyse (gem�� Typ in Logic.Logic) schreiben
module CspCASL.Logic_CspCASL(CspCASL(CspCASL)) where
import CspCASL.AS_CSP_CASL
import CspCASL.CCKeywords
import CspCASL.Parse_hugo
import CspCASL.LaTeX_AS_CSP_CASL
import CspCASL.ATC_CspCASL
import CASL.AS_Basic_CASL
import CASL.SymbolParser
import CASL.Logic_CASL(CASL(CASL))
import Logic.Logic
import Data.Dynamic
stat_symb_map_items CspCASL = error "Logic_CspCASL.hs"
stat_symb_items CspCASL = error "Logic_CspCASL.hs"
cspCaslBasicSpecTc = mkTyCon "CspCASL.Basic_CSP_CASL_C_SPEC"