Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-24 18:15:28 -0800 (Wed, 24 Mar 2004)
Revision: 5543
Log message:
1. Fixed some bugs in bools and ints.
2. Cooked up a new Mandelbrot test case. It uses cpp macros and I haven't
. worked out how to get omake to build it automatically, so for now I'm
. just committing the .ml and .mlp files. I'll try to fix it...
3. Moved all tests to theories/mojave/test.