Ignore:
Timestamp:
Jul 23, 2012, 2:05:10 PM (7 years ago)
Author:
campbell
Message:

Remove unused block structure in Cminor.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/initialisation.ma

    r2176 r2232  
    6868| #sz #sg #e #s1 #s2 #IH1 #IH2 * * * #_ #_ #H1 #H2 whd in ⊢ (??%?);
    6969  >(IH1 H1) >(IH2 H2) @refl
    70 | #s #IH * * #_ #_ #H @(IH H)
    71 | #s #IH * * #_ #_ #H @(IH H)
    7270| #l #s #IH * * #_ *
    7371| #l #s #IH * * #_ #_ #H @(IH H)
Note: See TracChangeset for help on using the changeset viewer.