Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-16 09:55:23 -0700 (Wed, 16 Jul 2008)
Revision: 13130
Log message:

      OrRight added

Changes  Path(relative to metaprl/theories/s4lp)
+25 -0 hilbert_internal.ml
+1 -0 hilbert_internal.mli
+29 -0 hilbert_logic.ml