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

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/
H A Ddataabs.ml31 let Def = new_definition ( var
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DImport.sig141 val Def : string * Term.term * Term.term -> Theory.thm value
H A DImport.sml1237 fun Def (s, a, b) = function
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py36 class Def(object): class in inherits:object

Completed in 75 milliseconds