Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-01 14:29:49 -0700 (Thu, 01 Jun 2006)
Revision: 9238
Log message:

      Itt_hoas_lambda is obsolete.
      

Changes  Path
Deleted metaprl/theories/itt/reflection/experimental/itt_hoas_lambda.ml
Deleted metaprl/theories/itt/reflection/experimental/itt_hoas_lambda.mli
Copied metaprl/theories/itt/reflection/obsolete/itt_hoas_lambda.ml
Copied metaprl/theories/itt/reflection/obsolete/itt_hoas_lambda.mli