- Timestamp:
- Mar 7, 2014, 12:52:28 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Util.ma
r2700 r3466 633 633 qed. 634 634 635 lemma append_nil:636 ∀A: Type[0].637 ∀l: list A.638 l @ [ ] = l.639 #A #L640 elim L //641 qed.642 643 635 lemma rev_append: 644 636 ∀A: Type[0].
Note: See TracChangeset
for help on using the changeset viewer.