Changeset 2870


Ignore:
Timestamp:
Mar 14, 2013, 4:26:24 PM (4 years ago)
Author:
sacerdot
Message:

Proof fixed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StatusSimulation.ma

    r2869 r2870  
    285285#H16 #H17 #H18 #H19 #H20 #H21 #H22 #H23 #H24
    286286change with (taa_step ???? ??? (taa_base ??) @ H23) in match (tal_step_default ?????????);
    287 <associative_taa_append_tal /2 by taa_append_tal_rel/
     287/2 by taa_append_tal_rel/
    288288qed.
    289289
Note: See TracChangeset for help on using the changeset viewer.