History log of /seL4-l4v-master/HOL4/help/Docfiles/Conv.UNCHANGED.doc
Revision Date Author Comments
# 15ba0048 17-Oct-2017 Jeremy Dawson <jeremy@cecs.anu.edu.au>

see also refs to conv doc page
# 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