- Timestamp:
- May 9, 2013, 12:49:38 AM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LIN/joint_LTL_LIN_semantics.ma
r3037 r3259 86 86 (* allocate_local ≝ *) (λabs.match abs in void with [ ]) 87 87 *) (* save_frame ≝ *) LTL_LIN_save_frame 88 (* setup_call ≝ *) (λ_.λ_.λ_.λ st.return st)88 (* setup_call ≝ *) (λ_.λ_.λ_.λ_.λ_.λ_.λst.return st) 89 89 (* fetch_external_args≝ *) ltl_lin_fetch_external_args 90 90 (* set_result ≝ *) ltl_lin_set_result
Note: See TracChangeset
for help on using the changeset viewer.