arguably clearer definition of the inductive case of leads-to. No proofs had to be changed...
arguably clearer definition of the inductive case of
leads-to.
No proofs had to be changed...

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