TableFun: renamed xxx_multi to xxx_list; tuned LocalDefs.cert_def;
TableFun: renamed xxx_multi to xxx_list;
tuned LocalDefs.cert_def;

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