Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-16 14:09:40 -0700 (Wed, 16 Jul 2008)
Revision: 13132
Log message:
added NegRight.
todo: finish multi-modal support.
| Changes | Path(relative to metaprl/theories/s4lp) |
| +23 -0 | hilbert_internal.ml |
| +1 -0 | hilbert_internal.mli |
| +33 -0 | hilbert_logic.ml |