History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Conv.QCHANGED_CONV.doc
Revision Date Author Comments
# 4774faeb 16-Oct-2017 Jeremy Dawson <jeremy@cecs.anu.edu.au>

doc changes reflecting to raise UNCHANGED is to fail

keeps consistency with usual notions - to raise any exception is to fail


# f37a4181 25-Mar-2003 Michael Norrish <Michael.Norrish@nicta.com.au>

Fixed a bug found by attempting to build examples/lambda. This
suggests the addition of new conversional, called QCHANGED_CONV,
"quick CHANGED_CONV" if you like. Document this. Also argue in a
comment as to why the fix works.