Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellSafe

CommonLogic.PredefinedCASLAxioms

Description

Fixed CASL axioms needed for translation of CommonLogic to CASL

Synopsis

Documentation

listSig :: CASLSign Source #

setting casl sign: sorts, cons, nil, append

mkCons :: TERM f -> TERM f -> TERM f Source #

mkAppend :: TERM f -> TERM f -> TERM f Source #