Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-14 20:56:30 -0700 (Mon, 14 Jul 2008)
Revision: 13124
Log message:
more progress towards multi-modal case
Changes | Path(relative to metaprl/theories/s4lp) |
+59 -30 | hilbert_internal.ml |