Searched refs:cl (Results 101 - 119 of 119) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_STATIC_LINK_AND_CASES.sml647 fun extendCase(indexVal, cl as ((c, caseValue) :: cps)) =
650 else NONE :: extendCase(indexVal+0w1, cl)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml2096 (let cl = ceiling q (nat 1) in
2097 let remainder = add q (unary_minus cl) in
2099 [(less (cpx (~1) 2 0 1) remainder,cl);
2100 (less remainder (cpx (~1) 2 0 1),add cl (int ~1));
2101 (integerp (mult cl (reciprocal (nat 2))),cl)]
2102 (add cl (int ~1)))),
H A Dsexp.sml1620 | acl2_chars_to_hol_chars (c1::(cl as (c2::_))) =
1623 then acl2_char_to_hol_chars c1@(#"_"::acl2_chars_to_hol_chars cl)
1624 else acl2_char_to_hol_chars c1@acl2_chars_to_hol_chars cl;
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml2070 (let cl = ceiling q (nat 1) in
2071 let remainder = add q (unary_minus cl) in
2073 [(less (cpx (~1) 2 0 1) remainder,cl);
2074 (less remainder (cpx (~1) 2 0 1),add cl (int ~1));
2075 (integerp (mult cl (reciprocal (nat 2))),cl)]
2076 (add cl (int ~1)))),
H A Dsexp.sml1546 | acl2_chars_to_hol_chars (c1::(cl as (c2::_))) =
1549 then acl2_char_to_hol_chars c1@(#"_"::acl2_chars_to_hol_chars cl)
1550 else acl2_char_to_hol_chars c1@acl2_chars_to_hol_chars cl;
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml2066 (let cl = ceiling q (nat 1) in
2067 let remainder = add q (unary_minus cl) in
2069 [(less (cpx (~1) 2 0 1) remainder,cl);
2070 (less remainder (cpx (~1) 2 0 1),add cl (int ~1));
2071 (integerp (mult cl (reciprocal (nat 2))),cl)]
2072 (add cl (int ~1)))),
H A Dsexp.sml1546 | acl2_chars_to_hol_chars (c1::(cl as (c2::_))) =
1549 then acl2_char_to_hol_chars c1@(#"_"::acl2_chars_to_hol_chars cl)
1550 else acl2_char_to_hol_chars c1@acl2_chars_to_hol_chars cl;
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dcombin.tex43 - Hol_datatype `cl = K | S | # of cl => cl`;
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4156 for ac_prog in cl.exe
4200 for ac_prog in cl.exe
10714 cl*)
11788 *,cl*)
13190 for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
13234 for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
14276 ,cl* | no,cl*)
15850 cl*)
16215 *,cl*)
[all...]
H A Dltmain.sh2275 clean|clea|cle|cl)
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml501 pr_list (fn cl => (add_string "| " >> pp_case_clause cl))
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3768 for ac_prog in cl.exe
3812 for ac_prog in cl.exe
4621 for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
4665 for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
10727 cl*)
11801 *,cl*)
13840 ,cl* | no,cl*)
15414 cl*)
15779 *,cl*)
[all...]
H A Dltmain.sh2275 clean|clea|cle|cl)
/seL4-l4v-10.1.1/HOL4/src/enumfset/
H A DenumeralScript.sml119 (* And how to turn a bt into a condensed bl (or "cl") - zerbls omitted -
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml2610 val cl = dest_neg cl_neg value
2611 val (v, p, g) = dest_PMATCH_ROW_COND_EX cl
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sml5430 | "cl" => Option.SOME(Z8 false,RCX)
6672 | (Z8 _,RCX) => "cl"
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml3361 and store(v, cl: ('a->'b) closure) = (Memory.setAddress(v, 0w0, cl()); fn () => ())
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/
H A Dquotient.tex6005 {\tt www.ftp.cl.cam.ac.uk/ftp/hvg/info-hol-archive/00xx/0082}.
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dlibraries.tex787 \begin{array}{cl}

Completed in 432 milliseconds

12345