Changeset 2885
- Timestamp:
- Mar 15, 2013, 7:06:19 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/StatusSimulationHelper.ma
r2883 r2885 138 138 (λregs1.λdata.bind_new_P' ?? 139 139 (λregs2.λblp. 140 ∃l: LISTA FRU FRU. blp = l ∧ 141 142 TUTTO IL RESTO PARLA DI R 143 140 144 ∀mid,mid1. 141 145 stmt_at ? (prog_var_names … trans_prog) (joint_if_code ?? t_fn) mid
Note: See TracChangeset
for help on using the changeset viewer.