Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-10-29 21:15:06 -0800 (Wed, 29 Oct 2003)
Revision: 5056
Log message:

      Got rid of nth_hyp. Sorry about that - it was a temporary shortcut but became permanent (as usual).
      

Changes	Path
+19 -8	metaprl/theories/itt/itt_int_arith.ml