Version Control Commit by taraathan

Author: taraathan
Date: 2013-09-27 17:06:39 +0000 (Fri, 27 Sep 2013)
New Revision: 84
Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/?rev=84&sc=1

Modified:
   trunk/examples/approved/ex2.1.2-deontic-compact.lrml
   trunk/examples/approved/ex2.1.2-deontic-normal.lrml
Log:
pretty-printing examples