History log of /seL4-l4v-master/HOL4/help/Docfiles/BasicProvers.augment_srw_ss.doc
Revision Date Author Comments
# b4633a3c 09-Feb-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Document diminish_srw_ss and remove_ssfrags.
# 4cddaa12 12-Jul-2005 Michael Norrish <Michael.Norrish@nicta.com.au>

Changed a couple of misleading/annoying names. The type ssdata is now
called ssfrag (to bring it into line with documentation that talks about
simpset fragments), and the constructor SIMPSET is now called SSFRAG.
It never created a simpset, so the latter was a stupid name.
# e7b8a540 12-Feb-2002 Michael Norrish <Michael.Norrish@nicta.com.au>

More fix-ups for docfiles.
# 3141f9ce 29-Dec-2001 Konrad Slind <konrad.slind@gmail.com>

Cleaning up mistakes and preliminary docs for bossLib entrypoints.