Changeset 1223 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Sep 16, 2011, 5:15:35 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1221 r1223  
    2525  mk_sem_params_ ertl_params globals (graph (ertl_statement globals)) (lookup …).
    2626
    27 (*
    2827definition ertl_internal_function ≝
    29  λglobals. joint_internal_function globals … (ertl_sem_params_ globals).
    30 *)
     28  λglobals. joint_internal_function globals … (ertl_sem_params_ globals).
    3129
    3230definition ertl_program ≝ λglobals. joint_program globals … (ertl_sem_params_ globals).
Note: See TracChangeset for help on using the changeset viewer.