moved new NEWS from Isabelle2007 to this Isabelle version'';
moved new NEWS from Isabelle2007 to this Isabelle version'';

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