Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-06-27 15:50:41 -0700 (Fri, 27 Jun 2008)
Revision: 13076
Log message:

      finished easy cases of third phase of realization

Changes  Path(relative to metaprl/theories/s4lp)
+5 -3 hilbert_internal.ml