ProofTree.hs revision 1a38107941725211e7c3f051f7a8f5e12199f03a
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder{-# LANGUAGE DeriveDataTypeable #-}
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederModule : $Header$
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDescription : a simple proof tree
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederCopyright : (c) DFKI GmbH, Uni Bremen 2002-2008
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : Christian.Maeder@dfki.de
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederStability : provisional
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPortability : portable
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederDatatype for storing of the proof tree
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder Datatype for storing of the proof tree. The Show class is instantiated.
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maederdata ProofTree = ProofTree String deriving (Eq, Ord, Typeable, Data)
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichinstance Show ProofTree where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder show (ProofTree st) = st
1a38107941725211e7c3f051f7a8f5e12199f03acmaederemptyProofTree :: ProofTree
ce5b44277ea06257548ff625e928cb1290c6d297cmaederemptyProofTree = ProofTree ""