source: src/utilities/Compare.ma @ 1415

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

changes from today

File size: 200 bytes
Line 
1include "basics/logic.ma".
2
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.
9
Note: See TracBrowser for help on using the repository browser.