{- | CspCASL combines the process algebra CSP with CASL;

CASL data elements serve as process alphabet letters.

The modules for CspCASL are built on top of those for "CASL",

using the holes for future extensions that have been left in the

datatypes for CASL.

"CspCASL.AS_CSP_CASL" abstract syntax

"CspCASL.CCKeywords", "CspCASL.CCLexer", "CspCASL.CCToken", "CspCASL.Parse_hugo" preliminary parser

"CspCASL.LaTeX_AS_CSP_CASL", "CspCASL.Print_AS_CSP_CASL" pretty printing

"CspCASL.SignCSP" signatures

"CspCASL.StatAnaCSP" static analysis (unfinished)

"CspCASL.ATC_CspCASL" ATerm conversion

"CspCASL.Logic_CspCASL" the CspCASL instance of 'Logic.Logic.Logic'

-}

module CspCASL where