13408ef5ae630d80e57e704734c00538f23b6078Christian Maeder{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, DeriveDataTypeable
13408ef5ae630d80e57e704734c00538f23b6078Christian Maeder , FlexibleInstances, UndecidableInstances, ExistentialQuantification #-}
212ded2709e18da9cbd5096b969f869f316c460bChristian MaederDescription : central interface (type class) for logics in Hets
819e29dba060687cf391e444e0f6ff88c1908cc3Christian MaederCopyright : (c) Till Mossakowski, and Uni Bremen 2002-2006
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederMaintainer : till@informatik.uni-bremen.de
8db2d2c5a8df6dd6d7302bc59577150b87237940Till MossakowskiStability : provisional
3dfe46137de1d3330727fedd22babe510531f35fChristian MaederPortability : non-portable (various -fglasgow-exts extensions)
212ded2709e18da9cbd5096b969f869f316c460bChristian MaederCentral interface (type class) for logics in Hets
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederProvides data structures for logics (with symbols). Logics are
0f0ddf8b810b0a4a7df6f7769278e4752732573fChristian Maeder a type class with an /identity type/ (usually interpreted
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maeder by a singleton set) which serves to treat logics as