Ignore:
Timestamp:
Aug 10, 2011, 5:17:55 PM (10 years ago)
Author:
campbell
Message:

A little more tidying.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch/Cminor/syntax.ma

    r1097 r1104  
    44include "utilities/lists.ma".
    55include "utilities/option.ma".
    6 
    7 definition present : ∀tag,A. identifier_map tag A → identifier tag → Prop ≝
    8 λtag,A,m,i. lookup … m i ≠ None ?.
    96
    107(* TODO: consider making the typing stricter. *)
Note: See TracChangeset for help on using the changeset viewer.