Unfortunately needed patch due to incompatibility with SML -- oo is infix and hence can not appear on the left handside of patterns
Unfortunately needed patch due to incompatibility with SML -- oo is infix and hence can not appear on the left handside of patterns

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