Manuscript Psy03-D@1 · Psy03-D-v1.tex · section · 3e18951d
Rule changes and informative switches
Rule changes and informative switches · lines 577–587
Define function equivalence by . A switch has three distinct descriptions:
: rule-ID change;
: label-function change;
: an informative disagreement at that point.