Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-03-19 09:42:25 -0800 (Sun, 19 Mar 2006)
Revision: 8942
Log message:

      Generate the reflected interface file reflect_foo.ppi from
      the implementation file foo.cmoz.
      
      Basically, when we reflect a theory, we want _everything_.