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

ERTLtoERTLptr in place.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/ERTLptr.ma

    r2566 r2604  
    2222    (* ext_seq_labels ≝ *) (λ_.[])
    2323    (* has_tailcall ≝ *) false
    24     (* paramsT ≝ *) ℕ
    25     (* localsT ≝ *) register.
     24    (* paramsT ≝ *) ℕ.
    2625
    2726definition ERTLptr ≝ mk_graph_params ERTLptr_uns.
Note: See TracChangeset for help on using the changeset viewer.