Ignore:
Timestamp:
Apr 18, 2011, 12:30:53 PM (9 years ago)
Author:
mulligan
Message:

Lots more fixing to get both front and backends using same conventions and types.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/CostLabel.ma

    r747 r757  
    77(* For use in importing programs in intermediate languages. *)
    88definition costlabel_of_nat : nat → costlabel ≝ identifier_of_nat ?.
     9
     10(* dpm: fix identifier/costlabel mismatch *)
     11axiom Identifier_of_costlabel: costlabel → Identifier.
Note: See TracChangeset for help on using the changeset viewer.