Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-23 03:57:07 -0800 (Fri, 23 Feb 2001)
Revision: 3154
Log message:

      All interactive rules are proved
      

Changes	Path
+33 -16	metaprl/theories/itt/itt_int_base.ml
+13 -9	metaprl/theories/itt/itt_int_base.mli
+2330 -2018	metaprl/theories/itt/itt_int_base.prla