Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-22 13:35:56 -0800 (Mon, 22 Mar 2004)
Revision: 5516
Log message:

      Completed proof of fun_equal_base.  Closes bug #95.
      

Changes	Path
+4225 -1955	mpcompiler/mmc/core/mmc_core_type_check.prla