Copyright | (c) C. Maeder Uni Bremen 2002-2005 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable (cpp) |
Safe Haskell | None |
GUI.ProverGUI
Description
cpp choice between GUI.ProofManagement and GUI.GtkProverGUI
Documentation
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) |