Version Control Commit by tara_athan

From
<>
Date
2012-10-19T21:59:56+00:00
ID
Thread
Version Control Commit by tara_athan
Author: tara_athan
Date: 2012-10-19 17:59:40 -0400 (Fri, 19 Oct 2012)
New Revision: 35
Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/?rev=35&sc=1

Modified:
   trunk/examples/draft/ex2.1.1.complaint-v1.lrml
   trunk/examples/draft/ex2.1.1.complaint-v2.lrml
   trunk/examples/draft/ex2.1.8-defeasible.lrml
Log:
Deontic syntax changed, identifier convention changed

1. changed examples to reflect changes in deontic syntax

2. changed identifiers in complaint example to avoid confusion with same (local part of) identifiers refering to different things in the original Akoma Ntoso texts