Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-12-18 13:15:52 -0800 (Thu, 18 Dec 2008)
Revision: 13175
Log message:
fixed a couple of minor bugs in some Gilbert-style proof steps
| Changes | Path(relative to metaprl/theories/s4lp) |
| +33 -13 | hilbert_internal.ml |
| +1 -0 | hilbert_internal.mli |
| +8 -5 | hilbert_logic.ml |