source: src/utilities/Compare.ma @ 1075

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

changes from today

File size: 200 bytes
RevLine 
[491]1include "basics/logic.ma".
2
[1066]3inductive compare: Type[0] ≝
4  compare_equal: compare
5| compare_less: compare
6| compare_greater: compare
7| compare_less_equal: compare
8| compare_greater_equal: compare.
[491]9
Note: See TracBrowser for help on using the repository browser.