Ignore:
Timestamp:
Nov 24, 2010, 1:43:28 PM (10 years ago)
Author:
mulligan
Message:

Changes from this morning.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Assembly.ma

    r271 r272  
    7474      [ ADDR11 w ⇒ λ_.
    7575         let 〈v1,v2〉 ≝ split ? (S (S (S (S (S (S (S (S Z)))))))) (S (S (S Z))) w in
    76           [ (v1 @ [[true; false; false; false; true]]) ; v2 ]
     76          [ (v1 @@ [[true; false; false; false; true]]) ; v2 ]
    7777      | _ ⇒ λK.match K in False with [ ] ] (subaddressing_modein … addr)
    7878  | ADD addr1 addr2 ⇒
Note: See TracChangeset for help on using the changeset viewer.