Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

RelationalScheme.Logic_Rel

Description

Instance of class Logic for RelationalSchemes

Synopsis

Documentation