Searched defs:cs (Results 1 - 25 of 63) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/src/list/src/
H A Dselftest.sml112 val cs = listSimps.list_compset() value
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A Dselftest.sml20 val cs = strip_conj (concl h_def) value
/seL4-l4v-10.1.1/HOL4/src/num/reduce/src/
H A DreduceLib.sml106 val cs = num_compset () value
/seL4-l4v-10.1.1/HOL4/examples/real-to-float/
H A DdaisyLib.sml18 val cs = explode " ,\n[]" value
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Darrays.c48 char cs[6]; local
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegLib.sml66 val cs = strip_insert (rhs (concl fdom_thm)) value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h38 virtual void chain (const vec<ClauseId>& cs, const vec<Var>& xs) {} argument
H A DMain.C149 void chain (const vec<ClauseId>& cs, const vec<Var>& xs) { argument
/seL4-l4v-10.1.1/HOL4/src/floating-point/native/
H A Dselftest.sml86 val cs = float_constants ty value
127 val cs = float_constants ty value
168 val cs = float_constants ty value
/seL4-l4v-10.1.1/HOL4/src/string/
H A DstringLib.sml137 val cs = Lib.with_flag (Feedback.emit_MESG, false) value
155 val cs = value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Dexport_codeLib.sml12 val cs = butlast (list_dest pred_setSyntax.dest_insert c) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dexport_codeLib.sml12 val cs = butlast (list_dest pred_setSyntax.dest_insert c) value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dexport_codeLib.sml13 val cs = (list_dest pred_setSyntax.dest_insert c) value
15 val cs = butlast cs value
/seL4-l4v-10.1.1/HOL4/examples/
H A Dhol_dpllScript.sml425 val cs = strip_conj t value
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib_Theories.sml94 val cs = String.explode token value
[all...]
H A DYices.sml560 val cs = TypeBasePure.constructors_of tyinfo value
572 val cs = List.map (List.length o Lib.fst o value
/seL4-l4v-10.1.1/HOL4/src/IndDef/
H A DIndDefLib.sml187 val cs = strip_conj t value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSimps.sml216 val cs = crossprod (filter (not o null) arg_vs) value
H A DOmegaSimple.sml160 val cs = List.mapPartial (total (#1 o dest_mult)) (strip_plus (rand t)) value
/seL4-l4v-10.1.1/HOL4/src/opentheory/
H A DOpenTheoryMap.sml34 val cs = List.map (implode o rev) (f (explode s) []) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DtailrecLib.sml56 val cs = dest_tuple c value
/seL4-l4v-10.1.1/HOL4/examples/pgcl/src/
H A DwpTools.sml29 val (cs,ths) = FOL_NORM ths value
/seL4-l4v-10.1.1/HOL4/examples/logic/
H A DfoltypesScript.sml428 val cs = map (fn i => List.nth(allcs, i)) is value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DexportLib.sml230 val cs = filter is_var (list_dest dest_comb pat) value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DStringSignatures.sml175 type cs type

Completed in 216 milliseconds

123