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
Implemented generated, cogenerated sigs, and sig intersections for LF and object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14538 cec4b9c1-7d33-0410-9eda-942365e851bb
Finished implementing views for object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14526 cec4b9c1-7d33-0410-9eda-942365e851bb
Added missing file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14509 cec4b9c1-7d33-0410-9eda-942365e851bb
add a dummy file to ensure compilation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14508 cec4b9c1-7d33-0410-9eda-942365e851bb