Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-28 01:50:07 -0700 (Fri, 28 Jun 2002)
Revision: 3726
Log message:

      Sorry. Makefile still contained removed files.
      

Changes  Path
+10 -7 metaprl/theories/mc/Makefile