Changeset 1368 for src/common
- Timestamp:
- Oct 13, 2011, 6:11:26 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/AST.ma
r1367 r1368 201 201 * #H [#H2] * #H' (try #H2') try (%1 @refl) [2,3,4,6,7,8: %2 @nmk #abs destruct] 202 202 cases H cases H' try (%1 @refl) [1,5,9: cases H2 cases H2' try (%1 @refl)] 203 %2 @nmk #abs -H H'; try (-H2 H2')destruct (abs) (*Wilmer: still slow destructs, why?*)203 %2 @nmk #abs -H H'; destruct (abs) (*Wilmer: still slow destructs, why?*) 204 204 qed. 205 205
Note: See TracChangeset
for help on using the changeset viewer.