Searched defs:program (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/
H A Dtool.tex
/seL4-l4v-master/HOL4/Manual/Tutorial/
H A Dtool.tex
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp234 (defun program (s) (nth 3 s)) function
H A Dm1-story.lisp[all...]
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlExecute.sml126 val program = value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DSTRUCTURESSIG.sml48 type program type
114 type program = program type
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttToken.sml255 val program = value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DPrint.sig29 val program : ppstream list -> ppstream value
H A DPrint.sml204 val program : ppstream list -> ppstream = Stream.concatList; value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sig29 val program : ppstream list -> ppstream value
H A DPrint.sml204 val program : ppstream list -> ppstream = Stream.concatList; value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp3834 char program[500]; char option[500]; char *s; local

Completed in 121 milliseconds