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
removed trailing blank lines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb
removed unused instantiation lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb
added haddock Description git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8310 cec4b9c1-7d33-0410-9eda-942365e851bb
changed my maintainer email git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb
feed in builtin ids git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7393 cec4b9c1-7d33-0410-9eda-942365e851bb
use changeGlobalAnnos with addBuiltins git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6493 cec4b9c1-7d33-0410-9eda-942365e851bb
added global annos to signature for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb
aligned module description for haddock-0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb
replaced Licence with License for haddock-07 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb
added maintainers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb
white space changes by untabify git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3288 cec4b9c1-7d33-0410-9eda-942365e851bb
translated further formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2839 cec4b9c1-7d33-0410-9eda-942365e851bb
deliterated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2204 cec4b9c1-7d33-0410-9eda-942365e851bb