Searched defs:which (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/examples/imperative/
H A Dnecec2010.sml10 structure which represents a list of assumptions, a desired conclusion, and a list of theorems from which justify the structure
[all...]
/seL4-l4v-master/HOL4/tools/
H A Dconfigure-mosml.sml98 fun which arg = function
/seL4-l4v-master/HOL4/tools-poly/
H A Dsmart-configure.sml134 fun which arg = function
/seL4-l4v-master/l4v/misc/regression/
H A Drun_tests.py59 def which(filename): function
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dinternal_functions.sml247 fun which arg = function
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]

Completed in 104 milliseconds