Searched defs:expand (Results 1 - 25 of 27) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/proofman/
H A DgoalTree.sig13 val expand : string * tactic -> gtree -> gtree value
H A DgoalTree.sml51 fun expand p gtree = function
H A DgoalStack.sig9 val expand : tactic -> gstk -> gstk value
H A DManager.sig28 val expand : tactic -> proof -> proof value
H A DproofManagerLib.sig39 val expand : tactic -> proof value
H A DManager.sml87 fun expand tac (GOALSTACK s) = GOALSTACK (apply (goalStack.expand tac) s) function
H A DproofManagerLib.sml81 fun expand tac = function
H A DgoalStack.sml192 fun expand tac gs = expandf (Tactical.VALID tac) gs; function
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/obsolete/
H A Dfilter-forms.lisp
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DDynarray.sml38 fun expand (arr, oldlen, newlen, dflt) = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dinline.sml62 fun expand th = function
/seL4-l4v-10.1.1/HOL4/examples/pgcl/src/
H A DwpTools.sml214 val expand = value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_correctnessScript.sml413 fun expand th = let function
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Dbook-essence.lisp
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DParse.sml263 fun expand (QUOTE q, s) = s ^ q function
H A DElementSet.sml316 and expand acc elt = adds acc (f elt) function
H A DRule.sml566 fun expand lit = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DParse.sml263 fun expand (QUOTE q, s) = s ^ q function
H A DElementSet.sml316 and expand acc elt = adds acc (f elt) function
H A DRule.sml566 fun expand lit = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMeson.sml466 fun expand ancestors g cont (state as {env, ...}) = function
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml331 val expand = QCONV (SIMP_CONV term_ss value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml389 fun expand s = if size s < 5 then expand (s ^ " ") else s function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml288 fun expand s = if size s < 5 then expand (s ^ " ") else s function
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml338 fun expand constructors ty ((_,[]), _) = mk_case_fail "expand_var_row" function

Completed in 205 milliseconds

12