function package: declare Spec_Rules for simps from total functions, but not psimps or tail-rec equations
function package: declare Spec_Rules for simps from total functions, but not psimps or tail-rec equations

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