Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-11-04 11:31:47 -0800 (Tue, 04 Nov 2003)
Revision: 5069
Log message:

      Aleksey: Refine.nth_hyp (AKA nthAssumT) should raise RefineError,
      not Invalid_argument when assumption index is out of range.
      

Changes  Path
+7 -5 metaprl/refiner/refiner/refine.ml