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 |