optionally ignore errors during translation of equations; tuned representation of abstraction points
optionally ignore errors during translation of equations; tuned representation of abstraction points

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