source: Deliverables/D4.1/Matita/Plogic @ 361

Name Size Rev Age Author Last Change
../
equality.ma 5.7 KB 328   10 years mulligan Got fold_right_i to type check. Moved eq_rect_Type0 into …
Note: See TracBrowser for help on using the repository browser.