Hets - the Heterogeneous Tool Set

Copyright(c) Ewaryst Schulz DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerewaryst.schulz@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.OMDoc

Contents

Description

Library of CASL specific OMDoc constants

Synopsis

Meta theory

caslMetaTheory :: OMCD Source #

CASL meta theory content dictionary

Terms