applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
added a bunch of deriving Typeable and Data
better structured too many sublogics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17072 cec4b9c1-7d33-0410-9eda-942365e851bb
handled the tests in OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17069 cec4b9c1-7d33-0410-9eda-942365e851bb
reduced code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16072 cec4b9c1-7d33-0410-9eda-942365e851bb
hlinted, scanned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16071 cec4b9c1-7d33-0410-9eda-942365e851bb
wibble git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15982 cec4b9c1-7d33-0410-9eda-942365e851bb
hlinted and scanned files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15906 cec4b9c1-7d33-0410-9eda-942365e851bb
hlinted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15802 cec4b9c1-7d33-0410-9eda-942365e851bb
profiles and sublogics merged git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15772 cec4b9c1-7d33-0410-9eda-942365e851bb