Searched defs:add_def (Results 1 - 8 of 8) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py910 def add_def (self, name, val, env, ignore_external_names = False): member in class:Solver
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DbitstringScript.sml96 val add_def = Define` value
/seL4-l4v-10.1.1/HOL4/src/boss/
H A Dprove_base_assumsScript.sml69 fun add_def tm = function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A Dlisp_synthesisLib.sml19 fun add_def def = let function
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sml261 fun add_def file_st b = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DsexpScript.sml224 val add_def = value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A DsexpScript.sml224 val add_def = value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A DsexpScript.sml224 val add_def = value

Completed in 110 milliseconds