* HOL/Lambda: converted into new-style theory and document;
* HOL/Lambda: converted into new-style theory and document;

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