tuned signature; removed duplicate of RecordPackage.read_typ; replaced Typetab by existing Typtab;
tuned signature;
removed duplicate of RecordPackage.read_typ;
replaced Typetab by existing Typtab;

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