Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-21 11:32:16 -0800 (Tue, 21 Feb 2006)
Revision: 8765
Log message:

      Use new method of generating reflected theories.
      
      NOTE: I'll probably delete the reflection code in Filter_parse soon.
      Let me know if you still want it.