Hets - the Heterogeneous Tool Set

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

GUI.ProverGUI

Description

cpp choice between GUI.ProofManagement and GUI.GtkProverGUI

Documentation

proverGUI

Arguments

:: ProofActions

record of possible GUI actions

-> String

theory name

-> String

warning information

-> G_theory

theory

-> KnownProversMap

map of known provers

-> [(G_prover, AnyComorphism)]

list of suitable provers and comorphisms

-> IO (Result G_theory)