Changeset 1516 for src/common/Events.ma


Ignore:
Timestamp:
Nov 19, 2011, 12:38:20 AM (8 years ago)
Author:
sacerdot
Message:

Ported to syntax of Matita 0.99.1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Events.ma

    r961 r1516  
    155155  ].
    156156[ *; #NE @False_rect_Type0 @NE @refl
    157 | % #E' >E' in E #E whd in E:(??%%); destruct (E);
     157| % #E' >E' in E; #E whd in E:(??%%); destruct (E);
    158158] qed.
    159159
Note: See TracChangeset for help on using the changeset viewer.