* HOL: bounded abstraction now uses syntax "%" / "\<lambda>" instead   of "lam" -- INCOMPATIBILITY;
* HOL: bounded abstraction now uses syntax "%" / "\<lambda>" instead
  of "lam" -- INCOMPATIBILITY;

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