Hets - the Heterogeneous Tool Set

Copyright(c) Thiemo Wiedemeyer, Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerraider@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

GUI.Glade.ProverGUI

Description

This module provides a string containing the xml data of the glade file for: ProverGUI

This module is automatically created.

Documentation