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

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/
H A Dbinary-trees.ml23 % type :* and internal nodes are labelled with values of type :**. % type
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Dbook-essence.lisp
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml1179 fun internal l = function

Completed in 45 milliseconds