Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-02 21:36:58 -0800 (Wed, 02 Mar 2005)
Revision: 6822
Log message:
- Simplified the CPS a bit, removing the need for an outher repeatC.
"omake mmc_tests" still shows that CPS is buggy...
- Removed some ugly spaces from the generated mmc_theory.ml