| /seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/acl2/lisp/obsolete/ |
| H A D | filter-forms.lisp | |
| /seL4-l4v-10.1.1/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-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | diagnostics.cpp | 120 sigset_t set; local
|
| /seL4-l4v-10.1.1/HOL4/src/pred_set/Manual/ |
| H A D | description.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | HM_Cline.sml | 97 fun set i = function
|
| /seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
| H A D | QbfLibrary.sml | 101 val set = HOLset.foldl (fn (t, set) => value
|
| /seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/examples/HolCheck/ |
| H A D | normalFormsTest.sml | 69 val set = traverse tm (Binaryset.empty Term.compare) value
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | ZF.tex | [all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | ZF.tex | [all...] |
| /seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/src/portableML/ |
| H A D | Table.sml | 64 type set = unit table type
445 type set = unit table; type
|
| /seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
| H A D | tttMinimize.sml | 184 val set = mk_fast_set String.compare sl value
206 val set = mk_fast_set String.compare sl value
|
| /seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/CCS/ |
| H A D | CCSLib.sig | 14 val set : Q.tmquote list -> tactic value
|
| H A D | CCSLib.sml | 37 fun set ts = MAP_EVERY Q.ABBREV_TAC ts; (* from HOL mizar mode *) function
|