source: Deliverables/D4.1/Matita/ @ 328

Last change on this file since 328 was 328, checked in by mulligan, 10 years ago

Got fold_right_i to type check. Moved eq_rect_Type0 into Plogic/ Added new file for main processor execution loop.

File size: 0 bytes

(The file is empty)

Note: See TracBrowser for help on using the repository browser.