Re: [PRD] ACTION-434: new PRD draft is out

Christian de Sainte Marie wrote:
> 
> [...]  But your comment made me
> notice that there is a rule missing in the transition relation for 
> InstantiateRULE: that will be the only additional modification I will 
> make before the F2F.

Thinking of it, no need for additional transition rule (so robuts is the 
spec :-)

But I will mention explicitely that an empty formula or set of formulae 
match any set of facts wrt any substtution modulo any theory (in keeping 
with an empty conjunction and an empty condition being conventionally 
considered true).

Cheers,

Christian