avoid name clashes with CASL keywords

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17538 cec4b9c1-7d33-0410-9eda-942365e851bb
also rename mappings

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17539 cec4b9c1-7d33-0410-9eda-942365e851bb
prepared for CommonLogicImp2CASLCompact

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17540 cec4b9c1-7d33-0410-9eda-942365e851bb
create Imp signature

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17541 cec4b9c1-7d33-0410-9eda-942365e851bb
only create constants for functions

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17542 cec4b9c1-7d33-0410-9eda-942365e851bb
create constants for predicates, too

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17543 cec4b9c1-7d33-0410-9eda-942365e851bb
make name unique

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17544 cec4b9c1-7d33-0410-9eda-942365e851bb
make name unique

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17545 cec4b9c1-7d33-0410-9eda-942365e851bb
create proper FO terms for Imp

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17546 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored arity maps and only removed plain variables

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17547 cec4b9c1-7d33-0410-9eda-942365e851bb
print bound ops with parens

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17548 cec4b9c1-7d33-0410-9eda-942365e851bb
also create rel and fun arities for bound HO ops and preds

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17549 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed parser bug

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17550 cec4b9c1-7d33-0410-9eda-942365e851bb
markers as constants on list

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17551 cec4b9c1-7d33-0410-9eda-942365e851bb
made semantic extension explicit

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17552 cec4b9c1-7d33-0410-9eda-942365e851bb
added comorphism to remove ShortTypes

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17553 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed a translation bug

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17554 cec4b9c1-7d33-0410-9eda-942365e851bb
simplified example for THFP and added type for constant b

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17555 cec4b9c1-7d33-0410-9eda-942365e851bb
FOLSeq2CFOL

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17556 cec4b9c1-7d33-0410-9eda-942365e851bb
FOLSeq2CFOL

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17557 cec4b9c1-7d33-0410-9eda-942365e851bb