refined case syntax again, improved treatment of constructors without arguments, e.g. "case a of (True, x) => x";
refined case syntax again, improved treatment of constructors without arguments, e.g. "case a of (True, x) => x";

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