Searched defs:con (Results 1 - 16 of 16) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/ |
| H A D | combin.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | bvec.sig | 9 val con: fdd.precision -> const -> bvec value
|
| H A D | bvec.sml | 14 val con: precision -> const -> bvec = app2 (symb "mlbvec_con") value
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | libraries.tex | [all...] |
| H A D | definitions.tex | [all...] |
| H A D | drules.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
| H A D | Recftn.sml | 168 val (con, args) = decompose (applied_cons, []) value
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | numSimps.sml | 323 val con = concl thm value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/ |
| H A D | ARM_prover_extLib.sml | 242 val con = concl thm value
|
| H A D | ARM_proverLib.sml | 398 val con = concl thm value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/lambda/other-models/ |
| H A D | ncScript.sml | 354 val con = Term`\k:'a. (CON k, (con k:'b) )` value
391 val con value
585 val con = Term`\\x:'a. T` and value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 938 EXTERNML value mlbvec_mulfixed(value s1, value con) /* ML */ argument
951 EXTERNML value mlbvec_divfixed(value s1, value con) /* ML */ argument
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | sexp.sml | 1730 let val (con,tm) = dest_comb conc value
2153 val con = mk_const(opr_name,opr_ty) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexp.sml | 1656 let val (con,tm) = dest_comb conc value
2087 val con = mk_const(opr_name,opr_ty) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | sexp.sml | 1656 let val (con,tm) = dest_comb conc value
2087 val con = mk_const(opr_name,opr_ty) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | ind_types.sml | 432 val con = bimp value
1362 let val (con,args) = strip_comb tm value
[all...] |
Completed in 285 milliseconds