Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2006-04-05 08:12:37 -0700 (Wed, 05 Apr 2006)
Revision: 9023
Log message:

      Display forms added, I also use reduce-resource as unfold-resource. It is ok for S4LP since it does not have a notion of computation.

Changes  Path
+2 -0 metaprl/theories/s4lp/MetaprlInfo
+37 -0 metaprl/theories/s4lp/s4_logic.ml
+22 -21 metaprl/theories/s4lp/s4_tests.ml