Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-07 05:02:26 -0800 (Wed, 07 Mar 2001)
Revision: 3176
Log message:

      Term construction/decomposition functions added for "bor"
      decideC, decide amd decideT added. May be it is better to call its split...
      

Changes  Path
+5 -0 metaprl/theories/itt/itt_bool.ml
+4 -0 metaprl/theories/itt/itt_bool.mli
+39 -11 metaprl/theories/itt/itt_int_base.ml
+18 -0 metaprl/theories/itt/itt_int_base.mli
+4358 -3399 metaprl/theories/itt/itt_int_base.prla