Fixed the printing of the used theorems by maintaining separate lists for each subgoal. Retains the ATP input files if debugging is on.
Fixed the printing of the used theorems by maintaining separate lists for each subgoal.
Retains the ATP input files if debugging is on.

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