applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 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
added some LANGUAGE pragmas for haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb
moved lookup square and added Ord instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12776 cec4b9c1-7d33-0410-9eda-942365e851bb
changed language options for ghc-6.10.1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11193 cec4b9c1-7d33-0410-9eda-942365e851bb
computeTheory and theoremHideShift changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10088 cec4b9c1-7d33-0410-9eda-942365e851bb
removed trailing whitespace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9812 cec4b9c1-7d33-0410-9eda-942365e851bb
moved Any types out of Grothendieck git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9807 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored class Category git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb
cleaned up codes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb
Warnings removed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8940 cec4b9c1-7d33-0410-9eda-942365e851bb
replaced @tzi with @informatik.uni-bremen git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8240 cec4b9c1-7d33-0410-9eda-942365e851bb