Hets - the Heterogeneous Tool Set
Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Theorem

Description

Adds the "implied" annotation - for specifying theorems

Documentation

prove :: Axiom -> Bool Source #