Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder, DFKI 2014
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(DevGraph)
Safe HaskellNone

Driver.ReadLibDefn

Description

reading Lib-Defns for various logics, OWL and CL return several Lib-Defns

Documentation