History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Abbrev.conv.doc
Revision Date Author Comments
# 4c964024 17-Oct-2017 Jeremy Dawson <jeremy@cecs.anu.edu.au>

doc page for type conv

also more doc changes to ..._CONV pages, reflecting use of UNCHANGED