improved symbolic syntax of Eps: \<some> for mode "epsilon";
improved symbolic syntax of Eps: \<some> for mode "epsilon";

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