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.
      

Changes  Path
+2 -3 metaprl/theories/poplmark/naive/MetaprlInfo
+0 -57 metaprl/theories/poplmark/naive/pmn_core_judgments.ml
Copied metaprl/theories/poplmark/naive/pmn_core_terms.ml
Copied metaprl/theories/poplmark/naive/pmn_core_terms.mli
Deleted metaprl/theories/poplmark/naive/pmn_core_test.ml
Deleted metaprl/theories/poplmark/naive/pmn_core_test.mli