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/utilities/lists.ma

    r1451 r1516  
    2929| #m #IH *
    3030  [ #_ #a #E whd in E:(??%?); destruct
    31   | #hd #tl * #_ whd in ⊢ (? → ∀_.??%? → ?) @IH
     31  | #hd #tl * #_ whd in ⊢ (? → ∀_.??%? → ?); @IH
    3232  ]
    3333] qed.
Note: See TracChangeset for help on using the changeset viewer.