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 |