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