Ignore:
Timestamp:
Nov 29, 2010, 2:32:13 PM (11 years ago)
Author:
mulligan
Message:

More changes to get everything to typecheck.

File:
1 edited

Legend:

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

    r330 r331  
    137137        [ Empty ⇒ Nothing (List A)
    138138        | Cons hd tl ⇒
    139             let settail ≝ set_index A tl o a in
     139            let settail ≝ set_index_weak A tl o a in
    140140              match settail with
    141141                [ Nothing ⇒ Nothing (List A)
Note: See TracChangeset for help on using the changeset viewer.