some highlights of Isabelle2013-1 based on NEWS;
some highlights of Isabelle2013-1 based on NEWS;

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