#KJ-113 Last fine corrections to the k documentation. First 3 parts.
1 ok. Replace named variables with anonymous where possible.
2 ok. Integrate proof reading corrections from Grigore.
3 ok. Replace have with has, do with does, don't with does not- 3'rd singular.
#KJ-106 Compare JLS wording for package methods with K-Java semantics. Also explained how lookupPackageMethod() works for the code example in the report.
#KJ-113 Last fine corrections to the k-file documentation.
Render k terms inside comments correctly. This could be done with a few search and replace actions. It is required especially because strings of form <text> are not compatible with markdown blocks inside latex.
#* .K to dotCt{K}
#* cells to $\mathrel{}\kall{classType}{ ... }$
#* |-> to \mapsto
#KJ-113 Last fine corrections to the k-file documentation. Spell checking. Completed.