typscheme with signatures is inappropriate when building empty certificate; prefer logical_typscheme over const_typargs; tuned
typscheme with signatures is inappropriate when building empty certificate;
prefer logical_typscheme over const_typargs;
tuned

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