* HOL/record:   - removed "more" class (simply use "term") -- INCOMPATIBILITY;
* HOL/record:
  - removed "more" class (simply use "term") -- INCOMPATIBILITY;

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