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