Completed integration of reconstruction code.  Now finds and displays proofs when used with modified version of Proof General. C.Q.
Completed integration of reconstruction code.  Now finds and displays proofs when used with modified version
of Proof General. C.Q.

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