Searched defs:add_def (Results 1 - 8 of 8) sorted by relevance

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

Completed in 82 milliseconds