Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Propositional.ProverState

Description

Prover state for propositional logic

Synopsis

Documentation

data PropProverState Source #

Datatype for the prover state for propositional logic

Instances

Show PropProverState Source # 

Methods

showsPrec :: Int -> PropProverState -> ShowS

show :: PropProverState -> String

showList :: [PropProverState] -> ShowS

propProverState Source #

Arguments

:: Sign 
-> [Named FORMULA] 
-> [FreeDefMorphism FORMULA Morphism]

free definitions

-> PropProverState 

function to create prover state

transSenName :: String -> String Source #

Translation of Sentence names