Contains old Tools/ATP/AtpCommunication.ML, plus proof reconstruction
Contains old Tools/ATP/AtpCommunication.ML, plus proof reconstruction

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