Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-06-26 19:19:39 -0700 (Thu, 26 Jun 2008)
Revision: 13072
Log message:
small progress towards s4-to-lp relaization algorithm
| Changes | Path(relative to metaprl/theories/s4lp) |
| +41 -7 | hilbert_internal.ml |
| +6 -6 | hilbert_internal.mli |