Searched refs:cl (Results 101 - 119 of 119) sorted by relevance
12345
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 647 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 D | hol_defaxiomsScript.sml | 2096 (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 D | sexp.sml | 1620 | 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 D | hol_defaxiomsScript.sml | 2070 (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 D | sexp.sml | 1546 | 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 D | hol_defaxiomsScript.sml | 2066 (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 D | sexp.sml | 1546 | 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 D | combin.tex | 43 - Hol_datatype `cl = K | S | # of cl => cl`;
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | configure | 4156 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 D | ltmain.sh | 2275 clean|clea|cle|cl)
|
/seL4-l4v-10.1.1/HOL4/src/emit/ |
H A D | EmitML.sml | 501 pr_list (fn cl => (add_string "| " >> pp_case_clause cl))
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | configure | 3768 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 D | ltmain.sh | 2275 clean|clea|cle|cl)
|
/seL4-l4v-10.1.1/HOL4/src/enumfset/ |
H A D | enumeralScript.sml | 119 (* 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 D | patternMatchesLib.sml | 2610 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 D | x64.sml | 5430 | "cl" => Option.SOME(Z8 false,RCX) 6672 | (Z8 _,RCX) => "cl"
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Foreign.sml | 3361 and store(v, cl: ('a->'b) closure) = (Memory.setAddress(v, 0w0, cl()); fn () => ())
|
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/ |
H A D | quotient.tex | 6005 {\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 D | libraries.tex | 787 \begin{array}{cl}
|
Completed in 432 milliseconds
12345