History log of /seL4-l4v-master/HOL4/src/sort/ternaryComparisonsScript.sml
Revision Date Author Comments
# 95d60bd3 02-Oct-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove -- as an alias for Term parser.

As per comment in release notes this has long been replaced as
appropriate style.


# 93036c73 18-Jul-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Use ternaryComparisons in src/fmapal instead of its own iso. type

Closes #343


# 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.