pruned notes about Poly/ML; removed unnecessary rename of Isabelle executable;
pruned notes about Poly/ML;
removed unnecessary rename of Isabelle executable;

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