Hets - the Heterogeneous Tool Set

Copyright(c) Igor Stassiy, C.Maeder DFKI Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Proofs.QualifyNames

Description

qualify and disambiguate all names in the nodes of a development graph for OMDoc output or for writing out multiple theories for Isabelle or VSE. Note however that signature will be always be complete, i.e. imported entities will be repeated.

Documentation