Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-06 22:01:10 -0800 (Sat, 06 Dec 2003)
Revision: 5152
Log message:

      1. rename{} was not declared in itt_record_renaming.mli
      2. typo in aabelg-intro rule fixed
      3. int_ring (ring of integers) declared and proved that integers is ring.
      

Changes  Path
+1 -0 metaprl/theories/itt/OMakefile
+1 -0 metaprl/theories/itt/itt_record_renaming.mli
+8 -1 metaprl/theories/itt/itt_ring.ml
+4268 -2573 metaprl/theories/itt/itt_ring.prla