Changeset 2201 for src


Ignore:
Timestamp:
Jul 17, 2012, 6:57:38 PM (9 years ago)
Author:
campbell
Message:

Forgotten comment update.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Clight/labelSpecification.ma

    r2145 r2201  
    3333    sim_with_labels (e_interact … o k1) (e_interact … o k2).
    3434
    35 (* We do not consider wrong executions or I/O. *)
     35(* We do not consider wrong executions. *)
    3636
    3737coinductive not_wrong : execution state io_out io_in → Prop ≝
Note: See TracChangeset for help on using the changeset viewer.