- Timestamp:
- Nov 19, 2012, 10:57:08 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/linearise.ma
r2473 r2474 173 173 ] n_prf 174 174 ] (chop_ok ? (λx.x∈visited) visiting). 175 (*cases daemon qed. *) 175 176 whd 176 177 [ (* base case, visiting is all visited *) … … 746 747 \snd (linearise_int_fun … fn_in)) 747 748 %{sigma} 748 * #i #i_prf >(prog_if_of_function_transform … i_prf) 749 #i >(prog_if_of_function_transform … i) [2: % ] 749 750 normalize nodelta 750 751 cases (linearise_int_fun ???) * #fn_out #sigma_loc
Note: See TracChangeset
for help on using the changeset viewer.