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

/seL4-l4v-master/isabelle/src/Doc/Intro/document/
H A Dfoundations.tex[all...]
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/
H A Dfoundations.tex[all...]
/seL4-l4v-master/HOL4/src/0/
H A DNet.sml134 let fun over [] = [p] function
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DNet.sml131 let fun over [] = [p] function
/seL4-l4v-master/HOL4/src/parse/
H A DFCNet.sml122 let fun over [] = [p] function

Completed in 52 milliseconds