 Timestamp:
 Jul 12, 2012, 2:56:50 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/ASM/Arithmetic.ma
r2154 r2177 364 364 ]. 365 365 366 definition short_multiplication : ∀n:nat. BitVector n → BitVector n → BitVector n ≝ 367 λn,x,y. (\snd (vsplit ??? (multiplication ? x y))). 368 366 369 (* Division: 001...000 divided by 000...010 367 370 Shift the divisor as far left as possible,
Note: See TracChangeset
for help on using the changeset viewer.