Searched defs:ds (Results 1 - 24 of 24) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/decidable_separationLogic/doc/
H A Dds.tex[all...]
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A Dselftest.sml6 val ds = derive_compset_distincts ``:sexpNT`` value
H A DsimpleSexpPEGScript.sml123 val ds = derive_compset_distincts ``:sexpNT`` value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMLSYSPortable.sml8 val ds = FileSys.openDir s value
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A Ddpll.sml35 val ds = strip_disj c value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dmake_iss.sml70 val ds = openDir dir value
92 val ds = openDir "." value
H A Dconfigure-mosml.sml28 val ds = FileSys.openDir s value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatchHeuristics.sml150 val ds = List.foldl (fn (t, s) => s + average_tree_depth t) 0.0 ts'' value
H A DPrim_rec.sml1917 val (ds, d) = front_last disjs value
/seL4-l4v-10.1.1/HOL4/examples/
H A Ddpll.sml27 val ds = strip_disj c value
H A Dhol_dpllScript.sml430 val ds = strip_disj c value
/seL4-l4v-10.1.1/HOL4/tools/trailing-wspace/
H A Dtrailingwspace.sml117 val ds = openDir dname value
/seL4-l4v-10.1.1/HOL4/tools/unicode-grep/
H A Dugrep.sml220 val ds = OS.FileSys.openDir d value
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml20 val ds = OS.FileSys.openDir s value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DOverload.sml529 val ds = PrintMap.peek (cop, ([], t)) value
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A Dholindex.sml526 val ds = parse_hix (basename ^ ".hix") value
[all...]
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml322 val ds = OS.FileSys.openDir s value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolTools.sml141 val (ds, r) = strip_dom_rng (type_of c) value
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/translations/
H A DtranslationsLib.sml274 val ds = dsExtractFromThm dsThm; value
286 val ds = dsExtractFromThm dsThm; value
300 val ds = dsExtractFromThm dsThm; value
314 val ds = dsExtractFromThm dsThm; value
328 val ds = dsExtractFromThm dsThm; value
345 val ds = dsExtractFromThm dsThm; value
360 val ds = dsExtractFromThm dsThm; value
375 val ds = dsExtractFromThm dsThm; value
390 val ds = dsExtractFromThm dsThm; value
409 val ds = dsExtractFromThm dsThm; value
428 val ds = dsExtractFromThm dsThm; value
447 val ds = dsExtractFromThm dsThm; value
475 val ds = dsExtractFromThm dsThm; value
514 val (ds, l, _, _, pf) = dsSingBindingExtractFromThm dsThm; value
645 val ds = dsExtractFromThm thm; value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_codegenScript.sml1678 val ds = map (car o fst o dest_eq o concl) (CONJUNCTS def_thm) value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drealconv.cpp3785 double ds; variable
[all...]
H A Dxwindows.cpp451 X_Display_Object *ds; /* Token */ member in class:X_Font_Object
458 X_Display_Object *ds; /* Token */ member in class:X_Cursor_Object
465 X_Display_Object *ds; /* Token */ member in class:X_Pixmap_Object
472 X_Display_Object *ds; /* Token */ member in class:X_Colormap_Object
481 X_Display_Object *ds; /* Token */ member in class:X_Widget_Object
488 X_Display_Object *ds; /* Token */ member in class:X_Visual_Object
499 X_Display_Object *ds; /* Token */ member in class:X_GC_Object
514 X_Display_Object *ds; /* Token */ member in class:X_Window_Struct
1716 X_Display_Object *ds; local
5736 #define ds macro
5742 #undef ds macro
[all...]
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1425 val ds = map (QCONV (TRY_CONV REDUCE)) (strip_disj(rand(concl thm5))) value

Completed in 166 milliseconds