Hets - the Heterogeneous Tool Set
Copyright(c) Mihai Codescu Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerMihai.Codescu@dfki.de
Stabilityexperimental
Portabilitynon-portable (Logic)
Safe HaskellNone

Modifications.ModalEmbedding

Description

institution modification

Documentation