Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-06-30 10:49:21 -0700 (Mon, 30 Jun 2008)
Revision: 13078
Log message:
third phase is roughly finished.
next step - family assignment (phases 1,2)
Changes | Path(relative to metaprl/theories/s4lp) |
+86 -27 | hilbert_internal.ml |