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, ChristianReceived on Friday, 23 May 2008 15:39:33 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC