/seL4-l4v-10.1.1/HOL4/src/emit/ |
H A D | ConstMapML.sig | 13 val apply : term -> bool * string * string * hol_type value
|
H A D | ConstMapML.sml | 159 fun apply c = function
|
/seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
H A D | proof.py | 39 def apply(self, step, solves=0): member in class:Proof
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/ |
H A D | pegML.sml | 87 and apply G (k:(''i,'v)kont) input (results:'v option list) = function [all...] |
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | Count.sig | 98 val apply: ('a -> 'b) -> 'a -> 'b value
|
H A D | Count.sml | 222 fun apply f x = function
|
/seL4-l4v-10.1.1/HOL4/src/proofman/ |
H A D | History.sig | 8 val apply : ('a -> 'a) -> 'a history -> 'a history value
|
H A D | History.sml | 20 fun apply f (HISTORY{obj, past, orig, limit, save_points}) = function
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibMetis.sml | 162 fun apply NONE slv = slv | apply (SOME s) slv = apply_sos_filter s slv; function
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Binaryset.sml | 370 let fun apply E = () function 376 let fun apply E = () function [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sml | 262 fun apply sub = new parameters (Thm.subst sub thm) function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sml | 262 fun apply sub = new parameters (Thm.subst sub thm) function
|
/seL4-l4v-10.1.1/HOL4/src/simp/src/ |
H A D | congLib.sml | 155 fun apply {solver,conv,context,stack,relation} tm = function 177 fun apply {solver,conv,context,stack,relation as (_, refl)} tm = let function [all...] |
H A D | simpLib.sml | 420 fun apply {solver,conv,context,stack,relation = (relation,_)} t = let function 563 fun apply {solver,conv,context,stack,relation} tm = let function
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/ |
H A D | bdd.sig | 42 val apply : bdd -> bdd -> bddop -> bdd value [all...] |
H A D | bdd.sml | 143 fun apply r1 r2 opr = apply_ r1 r2 (opr2i opr) function
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | summary.lisp | |
H A D | cone-of-influence.lisp | [all...] |
H A D | circuits.lisp | |
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | patternMatchesSyntax.sml | 310 fun apply (v, (vars', subst)) = let function
|
H A D | patternMatchesLib.sml | 33 fun apply {solver,conv,context,stack,relation} tm = ( function
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | TYPECHECK_PARSETREE.sml | 256 fun apply (f, arg, lex, location, moreInfo, typeEnv) = function [all...] |
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | Parse.sml | 1101 fun apply (tyuds, tmuds) (tyG, tmG) = function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/ |
H A D | decompilerLib.sml | 686 fun apply f (k,(th1,i1,j1),NONE) = (k,(f th1,i1,j1),NONE) function
|