applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
removed unused type argument
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb
use Map.foldrWithKey git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb
Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb
got rid of old exceptions and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13823 cec4b9c1-7d33-0410-9eda-942365e851bb
removed redundant imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored prover stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb
derive Show and Read git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12659 cec4b9c1-7d33-0410-9eda-942365e851bb
Some more code improvements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11312 cec4b9c1-7d33-0410-9eda-942365e851bb
extra module GUI.PrintUtils is not needed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11274 cec4b9c1-7d33-0410-9eda-942365e851bb
moved GenericATPState to Interfaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11121 cec4b9c1-7d33-0410-9eda-942365e851bb
replaced Interfaces.GenericATPState by GUI.GenericATPState git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11119 cec4b9c1-7d33-0410-9eda-942365e851bb
Fixed compilation error. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11077 cec4b9c1-7d33-0410-9eda-942365e851bb
First steps towards separating common datatypes/functions for PGIP and GUI git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11076 cec4b9c1-7d33-0410-9eda-942365e851bb