Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-05 12:54:57 -0700 (Sat, 05 Jul 2008)
Revision: 13097
Log message:

      all phases finished in first draft, it compiles but never executed yet
     -This line, and those below, will be ignored--
     
     M    s4lp/hilbert_internal.mli
     M    s4lp/hilbert_internal.ml

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