misc cleanup and rearrangements for Isabelle2009 release;
misc cleanup and rearrangements for Isabelle2009 release;

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