* HOL: syntax translations now work properly with numerals and records expressions;
* HOL: syntax translations now work properly with numerals and records
expressions;

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