Ignore:
Timestamp:
Feb 5, 2013, 10:49:42 PM (7 years ago)
Author:
piccolo
Message:

ERTLtoERTLptr in place.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL_semantics.ma

    r2601 r2604  
    133133  (* snd_arg_retrieve_  ≝ *) ps_arg_retrieve
    134134  (* pair_reg_move_     ≝ *) ertl_eval_move
    135   (* allocate_local     ≝ *) ertl_allocate_local
    136135  (* save_frame         ≝ *) ertl_save_frame
    137136  (* setup_call         ≝ *) (λ_.λ_.λ_.λst.return st)
Note: See TracChangeset for help on using the changeset viewer.