Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-26 19:39:57 -0800 (Mon, 26 Jan 2004)
Revision: 5286
Log message:

      Re-defined eval_poly
      

Changes  Path
+10 -4 metaprl/theories/itt/itt_poly.ml