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
fixed the time-period for the copy-right.
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
fixed the time-period for the copy-right.
resolved copyright conflict
fix latex backend for files without modules
Merge pull request #430 from dlucanu/master

Updated the definition for the stream equivalence in samples/prog-equiv/stream.
Merge pull request #453 from dwightguth/latex

fix latex backend for files without modules
Merge branch 'master' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/latex/PdfBackend.java