Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-16 08:55:43 -0700 (Wed, 16 Jul 2008)
Revision: 13128
Log message:
forgot to add these files a couple of days ago
Changes | Path(relative to metaprl/theories/s4lp) |
Added | hilbert_logic.ml |
Added | hilbert_logic.mli |