[PRD] Semantics of rule sets patched


I patched the section on the operation semantics of rules and rule sets in PRD to add back the definitions that had been left out in the reorganisation of the document, and I modified the specification of the function InstantiateRULE to refer to the model-theoretic specification of the semantics of rule conditions (instead of the previous operational specification to the same effect).



Received on Monday, 20 October 2008 11:10:02 UTC