Searched defs:undo (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h68 void VarOrder::undo(Var x) function in class:VarOrder
/seL4-l4v-master/HOL4/src/proofman/
H A DHistory.sig13 val undo : 'a history -> 'a history value
H A DHistory.sml35 fun undo (HISTORY{past=[], ...}) = raise CANT_BACKUP_ANYMORE function

Completed in 92 milliseconds