Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-03 14:02:11 -0700 (Thu, 03 Jul 2008)
Revision: 13095
Log message:
added box-to-right rule to phase 1
next step - rework families support, because now it is fake - bases cases are not covered, families joining is not implemented
Changes | Path(relative to metaprl/theories/s4lp) |
+20 -2 | hilbert_internal.ml |