Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-29 21:43:53 -0700 (Sat, 29 Oct 2005)
Revision: 8053
Log message:

      Resurrected Itt_dprod_imp
      

Changes  Path
+5 -1 metaprl/filter/base/filter_summary.ml
+1 -1 metaprl/theories/itt/extensions/rfun/OMakefile
+4 -8 metaprl/theories/itt/extensions/rfun/itt_dprod_imp.ml
+1 -1 metaprl/theories/itt/extensions/rfun/itt_dprod_imp.mli
+3510 -5745 metaprl/theories/itt/extensions/rfun/itt_dprod_imp.prla