Big update. Allows case splitting on ~= now (trying both < and >).
Big update. Allows case splitting on ~= now (trying both < and >).

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