History log of /seL4-l4v-10.1.1/HOL4/src/HolSat/minisatProve.sig
Revision Date Author Comments
# 558843f8 18-May-2008 Hasan Amjad <ha227@cam.ac.uk>

De-uglification: lifted SAT_cex exception into HolSatLib signature.