History log of /seL4-l4v-master/HOL4/help/Docfiles/BasicProvers.thy_ssfrag.doc
Revision Date Author Comments
# e5e67677 10-Mar-2017 Brian Campbell <Brian.Campbell@ed.ac.uk>

Update help for BasicProvers.export_rewrites and thy_ssfrag