applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
added a bunch of deriving Typeable and Data
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
added utilities for op types with kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 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 constructors and printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14604 cec4b9c1-7d33-0410-9eda-942365e851bb
inserted builtin Bool free type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14602 cec4b9c1-7d33-0410-9eda-942365e851bb
tried to extended to Bool terms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14601 cec4b9c1-7d33-0410-9eda-942365e851bb
added documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14591 cec4b9c1-7d33-0410-9eda-942365e851bb
added pattern resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14580 cec4b9c1-7d33-0410-9eda-942365e851bb
started CASL extension FPL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14533 cec4b9c1-7d33-0410-9eda-942365e851bb