Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-13 15:09:55 -0700 (Sun, 13 Jul 2008)
Revision: 13116
Log message:

      a tiny simplification

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