Hets - the Heterogeneous Tool Set

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

Isabelle.CreateTheories

Description

dumping a LibEnv to Isabelle theory files

Documentation