Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

Propositional.ATC_Propositional

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Sign Morphism PRED_ITEM BASIC_SPEC BASIC_ITEMS FORMULA SYMB_ITEMS SYMB SYMB_MAP_ITEMS SYMB_OR_MAP Symbol PropFormulae PropSL