Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-06 13:58:23 -0700 (Thu, 06 Jun 2002)
Revision: 3705
Log message:

      Changed to Base_meta implementation or arithmetical operations on numerals safer.
      See the "Base_meta" thread in the newsgroup for more information.
      
      P.S. The SIL changes are incomplete - I didn't want to invest time into
      a half-dead theory.
      

Changes  Path
+23 -29 metaprl/theories/base/base_meta.ml
+11 -10 metaprl/theories/base/base_meta.mli
+8 -6 metaprl/theories/itt/itt_int_base.ml
+2 -0 metaprl/theories/itt/itt_int_base.mli
+6 -6 metaprl/theories/itt/itt_int_ext.ml
+2 -2 metaprl/theories/sil/sil_itt_sos.ml
+2 -2 metaprl/theories/sil/sil_sos.ml