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 KIF Pretty Printer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17402 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
cl2casl and cl2caslCompact are preceded by module elimination git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16352 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed bound variable issue git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16287 cec4b9c1-7d33-0410-9eda-942365e851bb
minor fixes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16285 cec4b9c1-7d33-0410-9eda-942365e851bb