applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
refactored CASL formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb
ghc-7.2 requires language with flexible instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb
introduced term and formula construction shortcuts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15590 cec4b9c1-7d33-0410-9eda-942365e851bb
re-established separate relation type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb
use a reflexive sort relation and avoid a separate sort set git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored CASL's op and pred maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb
Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb
avoid CASL name clashes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13895 cec4b9c1-7d33-0410-9eda-942365e851bb
corrected order of relative addition git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13893 cec4b9c1-7d33-0410-9eda-942365e851bb
extended for declared properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13891 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13889 cec4b9c1-7d33-0410-9eda-942365e851bb
translate rules except closures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13887 cec4b9c1-7d33-0410-9eda-942365e851bb
added Adl signature translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13885 cec4b9c1-7d33-0410-9eda-942365e851bb