Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-23 21:49:15 -0800 (Wed, 23 Jan 2002)
Revision: 3479
Log message:
Two changes essentially:
1) Moved more files in theories/mc to have
the mp_mc_ prefix.
2) Added theories/mc/tests/ The files there are
pretty empty right now, but the idea is to put
code there for a simple test program to test
the mp_mc_connect modules.