added a check and better error message
included Traian's patch
forbid extending sort K in the Java backend
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
Merge pull request #615 from yilongli/fixing-issue-#602

Fixing issue #602
update kool transition to use rule tag
fixed typo; added TODO comment; commented out user-substitution test temporarily
fixed a bug in pattern matcher related to the evaluation of data structure lookup; updated tests
fix code review comments
Merge pull request #717 from yilongli/fixing-issue-#710

Fixing issue #710
Merge pull request #716 from dwightguth/kast-options

fix kast --directory
use search pattern for kool cycle
fixed the check; uncommented the user-substitution regression test
change K to KItem in samples
changed K to KItem in include
added the missing function attribute to substitution