tuned document -- proper text instead of source comments, reduced line length;
tuned document -- proper text instead of source comments, reduced line length;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle