Ignore:
Timestamp:
Mar 18, 2011, 11:22:49 AM (10 years ago)
Author:
mulligan
Message:

Most of LIN completed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/LIN/LIN.ma

    r683 r686  
    1414  [ nil ⇒ False
    1515  | cons hd tl ⇒
    16     let 〈id, n〉 ≝ hd in
    17     match eq_i i id with
    18     [ true ⇒ True
    19     | false ⇒ member i eq_i tl
    20     ]
     16      bool_to_Prop (eq_i (fst ? ? hd) i) ∨ member i eq_i tl
    2117  ].
    2218
Note: See TracChangeset for help on using the changeset viewer.