Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-01 05:27:23 -0800 (Thu, 01 Feb 2001)
Revision: 3128
Log message:

      missprint in uni_add_Distrib is fixed
      

Changes  Path
+5 -5 metaprl/theories/itt/itt_int_base.ml
+5 -5 metaprl/theories/itt/itt_int_base.mli