Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-01 06:08:15 -0800 (Thu, 01 Feb 2001)
Revision: 3130
Log message:

      Most interactives are proved. Only most difficult to me remain
      

Changes	Path
+4761 -4113	metaprl/theories/itt/itt_int_base.prla