Ignore:
Timestamp:
Apr 4, 2011, 5:13:09 PM (10 years ago)
Author:
campbell
Message:

Use more abstract identifiers in Clight / RTLabs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Identifiers.ma

    r736 r737  
    3232qed.
    3333
    34 definition identifer_of_nat : ∀tag:String. nat → Identifier tag ≝
     34definition identifier_of_nat : ∀tag:String. nat → Identifier tag ≝
    3535  λtag,n. an_identifier tag (bitvector_of_nat ? n).
    3636
Note: See TracChangeset for help on using the changeset viewer.