Changeset 2192 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Jul 17, 2012, 2:06:18 AM (7 years ago)
Author:
sacerdot
Message:

Shuffling around.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r2191 r2192  
    10471047            [ #X <plus_n_Sm <plus_n_O @X
    10481048            | #abs @⊥
    1049               cut (∀n,m,r. m + r = 2^n → add n (bitvector_of_nat n m) (bitvector_of_nat n r) = zero n)
    1050               [ cases daemon (* CSC: put in library *) ] #add_overflow
    10511049              <(bitvector_of_nat_inverse_nat_of_bitvector … ppc) in LT;
    10521050              >add_overflow [2: <plus_n_Sm <plus_n_O assumption ]
Note: See TracChangeset for help on using the changeset viewer.