History log of /seL4-l4v-10.1.1/HOL4/src/num/arith/Manual/arith.tex
Revision Date Author Comments
# 7ff85929 24-Jan-2000 Michael Norrish <Michael.Norrish@nicta.com.au>

Updated documentation to build cleanly under LaTeX2e.
# 88242741 02-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

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