Copyright	(c) Eugen Kuksa, Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	experimental (not complete: typleclass-instances missing)
Portability	non-portable (via Logic.Logic)
Safe Haskell	None

Comorphisms.CommonLogicModuleElimination

Description

Translating comorphism from CommonLogic to CommonLogic in order to eliminate modules.

Show CommonLogicModuleElimination
Language CommonLogicModuleElimination
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

Documentation