Searched refs:parameter (Results 101 - 117 of 117) sorted by relevance
12345
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | version2.tex | 1071 \noindent takes a variable parameter, \ml{$f$} say, and
|
/seL4-l4v-master/HOL4/examples/algebra/group/ |
H A D | groupActionScript.sml | 62 . orbit is defined as image, with one less parameter.
|
/seL4-l4v-master/HOL4/examples/algebra/lib/ |
H A D | primePowerScript.sml | 523 (* Note !p n, for first parameter p, second parameter n. *)
|
/seL4-l4v-master/HOL4/src/quotient/Manual/ |
H A D | quotient.tex | 1525 %either the type of a parameter or the type of the result. 5021 parameter, $x$, and a body $a$. $\varsigma$ is a binder, like $\lambda$ 5024 In this scope, $x$ represents the ``self'' parameter,
|
/seL4-l4v-master/HOL4/src/quantHeuristics/ |
H A D | quantHeuristicsLibBase.sml | 2574 * creating heuristics from a quantifier parameter
|
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
H A D | sexp.sml | 1367 err "param_to_var" "parameter not an mlsym");
|
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | sexp.sml | 1293 err "param_to_var" "parameter not an mlsym");
|
/seL4-l4v-master/HOL4/examples/acl2/ml/ |
H A D | sexp.sml | 1293 err "param_to_var" "parameter not an mlsym");
|
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | milawa_logicScript.sml | 55 - the number of arguments to mLamApp must match the parameter list
|
/seL4-l4v-master/HOL4/examples/AKS/compute/ |
H A D | computePolyScript.sml | 2359 (* Make polynomial p as the last parameter *)
|
/seL4-l4v-master/HOL4/examples/fun-op-sem/ml/ |
H A D | typeSoundScript.sml | 1606 an exception, the exception's parameter matches the type of the exception.
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | Drule.sml | 944 | For convinience the most common cases of this parameter are introduced
|
/seL4-l4v-master/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | 1627 parameter (one of $A@1$, \ldots, $A@h$) or a recursive occurrence of one of
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | 1627 parameter (one of $A@1$, \ldots, $A@h$) or a recursive occurrence of one of
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Message.sml | 808 these types of image and also take this value as a parameter. *)
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | patternMatchesLib.sml | 707 also cause trouble for code generation. Therefore the parameter
|
/seL4-l4v-master/HOL4/src/probability/ |
H A D | probabilityScript.sml | 51 parameter (Chapter IV, 5); and especially the theory of conditional
|
Completed in 531 milliseconds
12345