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 |