History log of /seL4-l4v-master/HOL4/help/Docfiles/wordsLib.WORD_SUB_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.