applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
added a bunch of deriving Typeable and Data
removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb
resurrected the pretty instance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17238 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
hlinted and scanned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16581 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
printed symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16579 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
printer for n-triples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16519 cec4b9c1-7d33-0410-9eda-942365e851bb
morphism started git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16486 cec4b9c1-7d33-0410-9eda-942365e851bb