source: Deliverables/D4.1/Matita/Compare.ma @ 330

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

More changes. Added datatype for addressing modes.
File size: 109 bytes
RevLine 
[248]1include "Universes.ma".
2
3ninductive Compare: Type[0] ≝
4  Equal: Compare
5| Greater: Compare
6| Less: Compare.
Note: See TracBrowser for help on using the repository browser.