Changeset 2885


Ignore:
Timestamp:
Mar 15, 2013, 7:06:19 PM (4 years ago)
Author:
sacerdot
Message:

Hint at how to change everything.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/StatusSimulationHelper.ma

    r2883 r2885  
    138138     (λregs1.λdata.bind_new_P' ??
    139139     (λregs2.λblp.
     140       ∃l: LISTA FRU FRU. blp = l ∧
     141       
     142       TUTTO IL RESTO PARLA DI R
     143       
    140144           ∀mid,mid1.
    141145            stmt_at ? (prog_var_names … trans_prog) (joint_if_code ?? t_fn) mid
Note: See TracChangeset for help on using the changeset viewer.