Hets - the Heterogeneous Tool Set

Copyright(c) Stef Joosten, Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Adl2CASL

Description

The translating comorphism from Adl to CASL.

Synopsis

Documentation