change GlobalSetting name for java backend from matchingLogic to javaBackend
fix some typos, some reformatting
added new builtin
update to int32.k
replace array copying with Arrays.copyOfRange
remove redundant throws declaration
move kpp main actions to else branch so that no ArrayOutOfBounds exceptions thrown after help msg printed
added builtin support for set membership check
Merge pull request #42 from osa1/refactor

fix some types, minor refactoring
String2Float hooked and Gappa prove added
Merge branch 'master' of https://github.com/kframework/k
First proof using Gappa.
excluding failing tests (for now).
rules without the k cell now correctly apply even when there are no k cells
Added tests for imp_with_floats
Merge branch 'master' of https://github.com/kframework/k
fixed sequential composition in simple under the java rewrite engine
removed matrix test from simple
Proof for sqs
Kompile -  fixing issue #41 and #43
                - adding notInRules, notInGround and notInPrograms as a refinement to onlyLabel attribute.
                - Token decl for Id now has notInRules attribute.