5.6 Trace of user rules

Resource : ATB*PR*Trace_User_Rules.
Value : TRUE or FALSE.
Meaning : Indicate whether the application of a user rule should trigger a message.
Default value : FALSE.

If this ressource is set to TRUE, a message is displayed each time a user rule is applied. This message is of the following form: Applying user rule T.n, where T.n is the name of the user rule. T corresponds to the name of the theory where the user rule is defined, and n to the position of the rule within the theory.

This ressource can be used to check which user rules are used in a demonstration.