Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-11-15 15:54:43 -0800 (Sat, 15 Nov 2003)
Revision: 5105
Log message:

      - natMemberEquality now is intro [AutoMustComplete], not just intro[]
      (because ussually we don't want nat to be destructed automaticly without good reason).
      
      - other small changes
      

Changes	Path
+1 -1	metaprl/editor/ml/mpconfig
+2 -0	metaprl/theories/itt/OMakefile
+2 -1	metaprl/theories/itt/itt_int_base.ml
+1 -1	metaprl/theories/itt/itt_nat.ml