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
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb
morphism parser added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb
Added foundation into the syntax for new logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14581 cec4b9c1-7d33-0410-9eda-942365e851bb
Modified syntax for declaring new logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14383 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 static analysis for Framework git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13585 cec4b9c1-7d33-0410-9eda-942365e851bb
Imports are now handled at the library level git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13580 cec4b9c1-7d33-0410-9eda-942365e851bb
Added missing files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13542 cec4b9c1-7d33-0410-9eda-942365e851bb
Added parsing and logic instance for Framework git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13475 cec4b9c1-7d33-0410-9eda-942365e851bb
added missing Framework stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13472 cec4b9c1-7d33-0410-9eda-942365e851bb