Searched defs:replacement (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DmungeTools.sig20 val replacement : {commpos : posn, argpos : posn, command : command, value
H A DmungeTools.sml344 fun replacement (argument:arg as {commpos = pos, argument = spec,...}) = function
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex

Completed in 29 milliseconds