Changeset 327


Ignore:
Timestamp:
Nov 29, 2010, 1:26:15 AM (9 years ago)
Author:
sacerdot
Message:

Completed!

File:
1 edited

Legend:

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

    r326 r327  
    236236         let 〈b,v〉≝  head … v in if b then
    237237          let 〈b,v〉≝  head … v in if b then
    238            let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈XRL … (Right ?? 〈(DIRECT b1:[[?]]),(DATA b2:[[?;??]])〉), pc〉, two〉
     238           let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈XRL … (Right ?? 〈(DIRECT b1:[[?]]),(DATA b2:[[?;?]])〉), pc〉, two〉
    239239          else
    240240           let 〈pc,b1〉≝ next pmem pc in 〈〈XRL … (Right ?? 〈(DIRECT b1:[[?]]),(ACC_A:[[?;?]])〉), pc〉, one〉
Note: See TracChangeset for help on using the changeset viewer.