hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.Print_AS_CSP_CASL
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
printing abstract syntax of CSP-CASL
Synopsis
Produced by Haddock version 0.6