updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"
updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"

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