Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-12 03:03:10 -0700 (Sat, 12 Apr 2003)
Revision: 4419
Log message:

      Rule-proving...
      

Changes	Path
+9 -2	metaprl/theories/itt/itt_group.ml
+2860 -910	metaprl/theories/itt/itt_group.prla