Changeset 534
 Timestamp:
 Feb 16, 2011, 4:25:01 PM (6 years ago)
 Location:
 Deliverables/D3.1/Csemantics/cerco
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D3.1/Csemantics/cerco/Util.ma
r533 r534 108 108 109 109 let rec division_aux (m: nat) (n : nat) (p: nat) ≝ 110 match ltb n pwith110 match ltb n (S p) with 111 111 [ true ⇒ O 112 112  false ⇒ 
Deliverables/D3.1/Csemantics/cerco/Vector.ma
r533 r534 228 228 match v with 229 229 [ VEmpty ⇒ x 230  VCons n hd tl ⇒ f (fold_left A B n f x tl) hd230  VCons n hd tl ⇒ fold_left A B n f (f x hd) tl 231 231 ]. 232 232
Note: See TracChangeset
for help on using the changeset viewer.