added a check and better error message
Deprecate Production.getLabel
Merge pull request #712 from kframework/deprecate_getlabel

Deprecate Production.getLabel
fixing-issue#709
included Traian's patch
removed equality/disequality over map/list/set
fixed failing samples
Merge pull request #713 from yilongli/fixing-issue#709

fixing-issue#709
make the maude backend output more deterministic
fix copyright
make the sorting less intrusive to non-confluent definitions
fixed imp-hoare definition
merged with unified-builtins2
fix kast --directory
Merge pull request #615 from yilongli/fixing-issue-#602

Fixing issue #602
fix copyright
update kool transition to use rule tag
add file I forgot to check in
fixed a bug in pattern matcher related to the evaluation of data structure lookup; updated tests
fix code review comments