Searched defs:previous (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/metis/
H A DfolMapping.sml824 fun previous a l x = function
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml1007 val previous = value
[all...]
/seL4-l4v-master/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sml
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1415 let val previous = !rewrites value

Completed in 99 milliseconds