Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-10 16:47:34 -0800 (Tue, 10 Jan 2006)
Revision: 8451
Log message:

      Added the four expressions (of type Exp).
      

Changes  Path
+16 -4 metaprl/filter/base/filter_reflection.ml
+21 -2 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_proof.ml
+16 -16 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_proof_step.ml
+4 -4 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_proof_step.mli
+3 -3 metaprl/theories/poplmark/naive/pmn_core_terms.ml
Deleted metaprl/theories/poplmark/naive/pmn_core_terms.prla