History log of /seL4-l4v-10.1.1/HOL4/src/num/reduce/Manual/title.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.