adjusted stabilities
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 symbol parser, for use in correspondences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb
added Monoid instances to basic specs of all logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17269 cec4b9c1-7d33-0410-9eda-942365e851bb
readded RDF as logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16940 cec4b9c1-7d33-0410-9eda-942365e851bb
changed RDF abstract syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16701 cec4b9c1-7d33-0410-9eda-942365e851bb
adjusted morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16580 cec4b9c1-7d33-0410-9eda-942365e851bb
removed undefineds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16542 cec4b9c1-7d33-0410-9eda-942365e851bb
don't use rd4h anymore git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16531 cec4b9c1-7d33-0410-9eda-942365e851bb
copied morphism from OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16530 cec4b9c1-7d33-0410-9eda-942365e851bb
added analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16529 cec4b9c1-7d33-0410-9eda-942365e851bb
added instances for rdf git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16521 cec4b9c1-7d33-0410-9eda-942365e851bb
added logic rdf git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16520 cec4b9c1-7d33-0410-9eda-942365e851bb