Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
DecTotalOrder.agda | 2011-09-24 20:24 | 865 | ||
Poset.agda | 2011-09-24 20:24 | 910 | ||
Preorder.agda | 2011-09-24 20:24 | 800 | ||
StrictPartialOrder.agda | 2011-09-24 20:24 | 1.0K | ||
StrictTotalOrder.agda | 2011-09-24 20:24 | 1.0K | ||
TotalOrder.agda | 2011-09-24 20:24 | 687 | ||