modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
Some fixes to show variable sorts.

Conflicts:

	src/javasources/KTool/src/org/kframework/backend/latex/LatexFilter.java
Fixing user typedness for variables being global (per rule).

Conflicts:

	src/javasources/KTool/src/org/kframework/parser/concrete/disambiguate/VariableTypeFilter.java
Updated styling information.
Update k.sty

Added copyright info
Update VariableTypeFilter.java

Added back copyright notice
Merge pull request #435 from kframework/latex-fix2

Latex fix2
fix copyright on xml files
fix copyright on .k files
fix copyright on jj files
fix copyright on .java files
fix xml declarations
Merge pull request #437 from dwightguth/copyright

Copyright
Merge pull request #432 from daniel-ionut-vicol/master

Fixed : Unable to run graphical debugger using symbolic backend #431
ensure that the IOServer thread terminates
fixed the time-period for the copy-right.
add copyright script