version 1.106, 2013/08/14 08:39:26 |
version 1.107, 2013/08/26 16:54:04 |
|
|
but inference rules already read are still known by |
but inference rules already read are still known by |
.Nm , |
.Nm , |
and they are marked as inactive. |
and they are marked as inactive. |
Redefining the corresponding suffix (or suffixes) will re-active the rule. |
Redefining the corresponding suffix (or suffixes) will reactivate the rule. |
.Pp |
.Pp |
In case of duplicate inference rules with the same suffix combination, |
In case of duplicate inference rules with the same suffix combination, |
the new rule overrides the old one. |
the new rule overrides the old one. |