Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-08 21:09:52 -0700 (Wed, 08 May 2002)
Revision: 3615
Log message:

      Updating Makefile to reflect new files.
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_04/theories/mc/Makefile