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

Displays the consistency checker window

data Finder Source #

Data structure for saving the user-selected prover and comorphism

Constructors

Finder 

Fields

Instances

Instances details
Eq Finder Source # 
Instance details

Defined in GUI.GtkAutomaticProofs

Methods

(==) :: Finder -> Finder -> Bool

(/=) :: Finder -> Finder -> Bool