| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | Parse_support.sml | 150 fun check i = i < 0 orelse (String.sub(s,i) = #"_" andalso check (i - 1)) function
|
| H A D | selftest.sml | 356 fun check (s1,s2) = function
744 fun check (Exn.Res (SOME (r, _))) = function
|
| H A D | Preterm.sml | 614 fun check(Comb{Rator, Rand, Locn}) = function
[all...] |
| H A D | type_grammar.sml | 261 val (check,privrm) = value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | OldPP.sml | 448 let fun check k = function
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | TheoryPP.sml | 406 fun check tys = function
|
| /seL4-l4v-10.1.1/HOL4/src/res_quan/src/ |
| H A D | res_quanLib.sml | 351 local fun check st l = if null l then raise ERR "check" st else l function
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | loop_bounds.py | 1 import check,search,problem,syntax,solver,logic,rep_graph,re namespace
[all...] |
| H A D | stack_logic.py | 15 import check namespace
|
| H A D | search.py | 11 import check namespace
87 def check (i): function in function:find_split_limit
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_encoderLib.sml | 89 fun check (f,m) b = (b () orelse raise ERR f (term_to_string m); I); function
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Model.sig | 233 val check : value
|
| H A D | selftest.sml | 1094 fun check ({name,goal,...}, acc) = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Model.sig | 233 val check : value
|
| H A D | selftest.sml | 1094 fun check ({name,goal,...}, acc) = function
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Tactical.sml | 366 fun check ths gls = function
|
| H A D | boolSyntax.sml | 405 val check = value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | OmegaMLShadow.sml | 422 fun check ((f,d),a) = let function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibMeson.sml | 329 fun check a' = a' = g' function
342 fun check a' = a' = g' function
430 fun check (s' as {depth = n', ...} : state) = function
|
| H A D | mlibModel.sml | 407 fun check m fm = check1 (FV fm) m fm; function
|
| H A D | mlibOmega.sml | 474 fun check ((f,d),a) = let function
|
| /seL4-l4v-10.1.1/HOL4/src/pred_set/src/more_theories/ |
| H A D | wellorderScript.sml | 1045 fun check th = let function
|
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | realSimps.sml | 568 fun check tm = function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 86 fun check () = function
609 fun check s = assert (String.isPrefix p s) (Error "dest_prefix") function
|
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
| H A D | Regexp_Type.sml | 1168 let fun check [] = true function
1182 fun check [] = true function
[all...] |