applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
sort constraints to improve comparing
added a not yet working list annotation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17573 cec4b9c1-7d33-0410-9eda-942365e851bb
create signature only for Seq comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17566 cec4b9c1-7d33-0410-9eda-942365e851bb
FOLSeq2CFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17556 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored CASL formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb
cleaned CommonLogic Code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16850 cec4b9c1-7d33-0410-9eda-942365e851bb
Documented every exported function in CommonLogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16849 cec4b9c1-7d33-0410-9eda-942365e851bb
refactoring: cl2casl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16363 cec4b9c1-7d33-0410-9eda-942365e851bb