Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-26 10:16:31 -0800 (Mon, 26 Dec 2005)
Revision: 8365
Log message:

      Adding some normalization rules for list_of_fun.
      

Changes  Path
+18 -0 metaprl/theories/itt/extensions/base/itt_list3.ml
+1 -0 metaprl/theories/itt/extensions/base/itt_list3.mli
+2785 -2612 metaprl/theories/itt/extensions/base/itt_list3.prla
+5 -0 metaprl/theories/itt/reflection/core/itt_hoas_vector.ml
+5 -0 metaprl/theories/itt/reflection/core/itt_hoas_vector.mli
+24 -0 metaprl/theories/itt/reflection/experimental/itt_hoas_normalize.ml