History log of /seL4-l4v-10.1.1/HOL4/src/num/arith/Manual/description.tex
Revision Date Author Comments
# 88242741 02-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

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