Ignore:
Timestamp:
Dec 19, 2011, 2:48:37 PM (8 years ago)
Author:
campbell
Message:

Use fact that type environments in Cminor have distinct variables to
remove last freshness related axiom in front-end.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/initialisation.ma

    r1626 r1631  
    8888                                           (f_params f)
    8989                                           (f_vars f)
     90                                           (f_distinct f)
    9091                                           (f_stacksize f)
    9192                                           (St_seq s (f_body f))
Note: See TracChangeset for help on using the changeset viewer.