Changeset 2604 for src/ERTL/ERTL.ma


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.ma

    r2563 r2604  
    3939    (* ext_seq_labels ≝ *) (λ_.[])
    4040    (* has_tailcall ≝ *) false
    41     (* paramsT ≝ *) ℕ
    42     (* localsT ≝ *) register.
     41    (* paramsT ≝ *) ℕ.
    4342
    4443definition ERTL ≝ mk_graph_params ERTL_uns.
Note: See TracChangeset for help on using the changeset viewer.