History log of /seL4-l4v-10.1.1/HOL4/src/integer/jrhUtils.sml
Revision Date Author Comments
# 6055396b 02-May-2010 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Avoid pattern matching warning message.


# 4ed89b90 02-Jan-2007 Michael Norrish <Michael.Norrish@nicta.com.au>

LAND_CONV is provided by our core Conv implementation so doesn't need to
be duplicated here.


# 91324243 21-Jul-2004 Michael Norrish <Michael.Norrish@nicta.com.au>

Bad equality.


# a10ac39f 22-Nov-2000 Konrad Slind <konrad.slind@gmail.com>

Upgraded for Kan.0.


# fc228fee 09-Nov-2000 Michael Norrish <Michael.Norrish@nicta.com.au>

Made it all Kananaskis compatible.


# 7d4f4645 01-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

Renaming to go along with elsaUtils and mnUtils.