Changeset 1252 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Sep 22, 2011, 2:49:18 PM (9 years ago)
Author:
sacerdot
Message:

graph_params added to joint/Joint.ma, together with useful common setters/getters

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1248 r1252  
    1919definition ertl_statement ≝ joint_statement ertl_params_.
    2020
    21 definition ertl_params: ∀globals. params globals ≝
    22   λglobals.
    23     mk_params globals ertl_params_ (graph (ertl_statement globals)) (lookup …).
    24 
     21definition ertl_params: ∀globals. params globals ≝ graph_params ertl_params_.
    2522
    2623definition ertl_internal_function ≝
Note: See TracChangeset for help on using the changeset viewer.