History log of /seL4-l4v-master/HOL4/src/num/arith/src/Sup_Inf.sml
Revision Date Author Comments
# 05458c8e 15-May-2013 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Precede infix "<<" with "op".
# 88c6c8c4 08-Nov-2000 Michael Norrish <Michael.Norrish@nicta.com.au>

Directory now Kananaskis compatible, though no real testing done.
Loads of warnings about illegal style.
# 88242741 02-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

Change to structure of numLib so that reduce and arith are incorporated.