removed "--" argument; updated for Isabelle2005; tuned;
removed "--" argument;
updated for Isabelle2005;
tuned;

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