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

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

Got fold_right_i to type check. Moved eq_rect_Type0 into Plogic/equality.ma. 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.