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
flattened Quant_sent git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17225 cec4b9c1-7d33-0410-9eda-942365e851bb
cleaned up AS types for CommonLogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17207 cec4b9c1-7d33-0410-9eda-942365e851bb
changed signature according to iso standard, fixed cl-morphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16384 cec4b9c1-7d33-0410-9eda-942365e851bb
prepared support for segregated dialects git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16207 cec4b9c1-7d33-0410-9eda-942365e851bb
partially fixed pretty printing issue in common logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16186 cec4b9c1-7d33-0410-9eda-942365e851bb
preparation for supporting metarelations between CL-Texts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16179 cec4b9c1-7d33-0410-9eda-942365e851bb
minor changes, header changes, SoftFOL2CL nullary function fix git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16153 cec4b9c1-7d33-0410-9eda-942365e851bb
Added Symbol Maps, Symb Map Items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16146 cec4b9c1-7d33-0410-9eda-942365e851bb
SoftFOL2CL at least seems to work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16145 cec4b9c1-7d33-0410-9eda-942365e851bb
added Prop2CL Comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16086 cec4b9c1-7d33-0410-9eda-942365e851bb