Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-12 19:15:54 -0800 (Sat, 12 Nov 2005)
Revision: 8176
Log message:

      Renamed Itt_hoas_sequent_native to Itt_hoas_sequent.
      The name was getting laborious.
      

Changes  Path
+1 -1 metaprl/theories/itt/reflection/experimental/OMakefile
+1 -1 metaprl/theories/itt/reflection/experimental/itt_hoas_meta_types.ml
+1 -1 metaprl/theories/itt/reflection/experimental/itt_hoas_meta_types.mli
Copied metaprl/theories/itt/reflection/experimental/itt_hoas_sequent.ml
Copied metaprl/theories/itt/reflection/experimental/itt_hoas_sequent.mli
Copied metaprl/theories/itt/reflection/experimental/itt_hoas_sequent.prla
Deleted metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_native.ml
Deleted metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_native.mli
Deleted metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_native.prla
+1 -1 metaprl/theories/itt/reflection/experimental/itt_hoas_theory.ml
+1 -1 metaprl/theories/itt/reflection/experimental/itt_hoas_theory.mli
+1 -1 metaprl/theories/poplmark/naive/pmn_core_logic.ml