Ignore:
Timestamp:
Apr 28, 2011, 5:36:33 PM (9 years ago)
Author:
mulligan
Message:

More work on rtl-ertl pass from today, plus resolved conflict.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Identifiers.ma

    r779 r782  
    6262  an_id_map : BitVectorTrie A 16 → identifier_map tag A.
    6363 
    64  
    6564definition empty_map : ∀tag:String. ∀A. identifier_map tag A ≝
    6665  λtag,A. an_id_map tag A (Stub A 16).
Note: See TracChangeset for help on using the changeset viewer.