Hets - the Heterogeneous Tool Set

Copyright(c) Simon Ulbricht, Uni Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertekknix@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

GUI.GtkAutomaticProofs

Description

This module provides a GUI for the automatic proofs module.

Synopsis

Documentation

showAutomaticProofs :: GInfo -> LibEnv -> IO (Result LibEnv)

Displays the consistency checker window

data Finder

Data structure for saving the user-selected prover and comorphism

Constructors

Finder 

Fields

fName :: String
 
finder :: G_prover
 
comorphism :: [AnyComorphism]
 
selected :: Int
 

Instances