Changeset 2474 for src/joint


Ignore:
Timestamp:
Nov 19, 2012, 10:57:08 AM (7 years ago)
Author:
tranquil
Message:

changed form of a statement

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/linearise.ma

    r2473 r2474  
    173173    ] n_prf
    174174  ] (chop_ok ? (λx.x∈visited) visiting).
     175(*cases daemon qed. *)
    175176whd
    176177[ (* base case, visiting is all visited *)
     
    746747    \snd (linearise_int_fun … fn_in))
    747748%{sigma}
    748 * #i #i_prf >(prog_if_of_function_transform … i_prf)
     749#i >(prog_if_of_function_transform … i) [2: % ]
    749750normalize nodelta
    750751cases (linearise_int_fun ???) * #fn_out #sigma_loc
Note: See TracChangeset for help on using the changeset viewer.