Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-13 18:39:54 -0700 (Sun, 13 Jul 2003)
Revision: 4738
Log message:

      Core_type_infer now compiles, though completely untested.
      Fixed a dumb dependency bug in OMakefile.
      

Changes  Path
+3 -1 metaprl/OMakefile
+1 -1 metaprl/filter/boot/proof_term_boot.ml
+7 -5 metaprl/mllib/weak_memo.ml
+0 -5 metaprl/support/tactics/simp_typeinf.ml
+0 -2 metaprl/support/tactics/simp_typeinf.mli
+7 -0 metaprl/support/tactics/var.ml
+3 -0 metaprl/support/tactics/var.mli
+3 -16 metaprl/theories/base/base_theory.mlz
Added mpcompiler/mmc/core/Files
Properties mpcompiler/mmc/core/Files
+2 -8 mpcompiler/mmc/core/Makefile
+2 -8 mpcompiler/mmc/core/OMakefile
+82 -45 mpcompiler/mmc/core/mmc_core_type_infer.ml