History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/wordsLib.WORD_CONV.doc
Revision Date Author Comments
# 7284cfcd 24-Jul-2012 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update wordsLib documentation.

Also minor tweaks in wordsLib itself.
# dd59ab6b 25-Jun-2010 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Add doc file for BBLAST_CONV.
# 58fecdd6 25-Apr-2008 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Added some help files for wordsLib.