/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | ltl-project.lisp | [all...] |
H A D | sets.lisp | [all...] |
H A D | ltl.lisp | [all...] |
/seL4-l4v-master/HOL4/examples/acl2/lisp/obsolete/ |
H A D | filter-forms.lisp | |
/seL4-l4v-master/HOL4/examples/acl2/lisp/ |
H A D | untranslate-file.lisp | |
H A D | a2ml.lisp | [all...] |
H A D | book-essence.lisp | [all...] |
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | diagnostics.cpp | 122 sigset_t set; local
|
/seL4-l4v-master/HOL4/src/pred_set/Manual/ |
H A D | description.tex | [all...] |
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | HM_Cline.sml | 97 fun set i = function
|
/seL4-l4v-master/HOL4/src/HolQbf/ |
H A D | QbfLibrary.sml | 100 val set = HOLset.foldl (fn (t, set) => value
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | term_pp_utils.sml | 24 fun set {seen_frees,current_bvars,last_string,in_gspec} = function 40 fun set {seen_frees,current_bvars,last_string,in_gspec} = function 58 fun set b {in_gspec,current_bvars,seen_frees,last_string} = function
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | utils-sig.sml | 23 type set type [all...] |
H A D | utils.sml | 65 type set = elem list type 211 abstype set = EMPTY | TREE of (B.elem * Color * set * set) type
|
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | normalFormsTest.sml | 69 val set = traverse tm (Binaryset.empty Term.compare) value
|
/seL4-l4v-master/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | [all...] |
/seL4-l4v-master/l4v/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | [all...] |
/seL4-l4v-master/HOL4/examples/formal-languages/lambek/ |
H A D | ExampleScript.sml | 40 fun set ts = MAP_EVERY Q.ABBREV_TAC ts; (* from HOL mizar mode *) function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibResolution.sml | 136 val set = mlibClauseset.empty (clause_parm,set_parm) value 137 val set = mlibClauseset.new_units units set value 139 val set = foldl (fn (c,s) => mlibClauseset.add c s) set thms value 169 val set = mlibClauseset.add cl set value [all...] |
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Table.sml | 64 type set = unit table type 445 type set = unit table; type
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | ElementSet.sig | 23 type set type [all...] |
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | bddio.c | 234 int *set; local 254 static void bdd_printset_rec(FILE *ofile, int r, int *set) argument [all...] |
H A D | cppext.cxx | 220 int *set = new int[bddvarnum]; local 282 int *set = new int[bddvarnum]; local 355 bdd_printset_rec(ostream& o, int r, int* set) argument 419 fdd_printset_rec(ostream &o, int r, int *set) argument 549 void bvec::set(int bitnum, const bdd &b) function in class:bvec [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | ElementSet.sig | 23 type set type [all...] |
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | ioport.c | 15 static inline void apply_pattern(word_t_may_alias *w, word_t pattern, bool_t set) argument 313 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) argument
|