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 |