Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-22 08:29:26 -0800 (Sat, 22 Mar 2003)
Revision: 4213
Log message:
Prove of int_div_rem is 80% complete.
Only some local problems with my normalizeC/arithT remain.
Changes | Path |
+5703 -4288 | metaprl/theories/itt/itt_nat.prla |