History log of /seL4-l4v-10.1.1/HOL4/src/sort/ternaryComparisons.otd
Revision Date Author Comments
# f2bf4406 17-Jul-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Rework ring's prelim to be ternaryComparisons and moved to src/sort

Addressing github issue #343, which is to use one base comparison
result type for what happens in both src/ring and src/enumfset.