* Pure/library: divide_and_conquer; * Theory Real: new method ferrack;
* Pure/library: divide_and_conquer;
* Theory Real: new method ferrack;

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