Copyright | (c) Thiemo Wiedemeyer, Uni Bremen 2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | raider@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
This module provides a GUI for the prover.
- showProverGUI :: ProofActions -> String -> String -> G_theory -> KnownProversMap -> [(G_prover, AnyComorphism)] -> IO (Result G_theory)
Documentation
:: 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 comorphisms to provers for sublogic of G_theory |
-> IO (Result G_theory) |
Displays the consistency checker window