| 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) |