some attempts to recover Isabelle/ML style from the depths of time;
some attempts to recover Isabelle/ML style from the depths of time;

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