package extensible records with structural subtyping in HOL -- still   experimental version;
package extensible records with structural subtyping in HOL -- still
  experimental version;

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