Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-01-25 00:05:22 -0800 (Thu, 25 Jan 2001)
Revision: 3108
Log message:

      
      Now each rewrite has rewrite- and '~'- forms.
      

Changes	Path
+56 -1	metaprl/theories/itt/itt_int_base.ml
+32 -0	metaprl/theories/itt/itt_int_base.mli
Added	metaprl/theories/itt/itt_int_base.prla
Properties	metaprl/theories/itt/itt_int_base.prla