source:
Deliverables/D4.1/Matita/Plogic
@
358
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| equality.ma | 5.7 KB | 328 | 10 years | Got fold_right_i to type check. Moved eq_rect_Type0 into … | |
Note: See TracBrowser
for help on using the repository browser.
