The dtac was discarding information, though apparently no proofs were hurt
The dtac was discarding information, though apparently no proofs were hurt

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