Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2000-10-10 05:29:43 -0700 (Tue, 10 Oct 2000)
Revision: 3083
Log message:

      reduce_resources added and theories added to Makefile
      

Changes  Path
+3 -1 metaprl/theories/itt/Makefile
+32 -17 metaprl/theories/itt/itt_int_base.ml
+21 -15 metaprl/theories/itt/itt_int_base.mli
+32 -17 metaprl/theories/itt/itt_int_ext.ml
+22 -16 metaprl/theories/itt/itt_int_ext.mli