Searched defs:check (Results 76 - 100 of 107) sorted by relevance

12345

/seL4-l4v-master/HOL4/src/pred_set/src/more_theories/
H A DwellorderScript.sml1047 fun check th = let function
H A DcardinalScript.sml317 fun check th = let function
/seL4-l4v-master/HOL4/src/parse/
H A Dselftest.sml201 fun check substring (LEX_ERR(s, _)) = function
492 fun check (s1,s2) = function
874 fun check (Exn.Res (SOME (r, _))) = function
H A Dtype_grammar.sml264 val (check,privrm) = value
H A Dterm_grammar.sml775 fun check rrec a = function
1017 fun check c = function
/seL4-l4v-master/HOL4/src/transfer/
H A DtransferLib.sml238 fun check {cleftp,forceprogress} (ruledb:ruledb.t) th = function
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sml86 fun check () = function
609 fun check s = assert (String.isPrefix p s) (Error "dest_prefix") function
/seL4-l4v-master/HOL4/src/1/
H A DPmatch.sml516 fun check d = function
H A DTactical.sml422 fun check ths gls = function
H A DboolSyntax.sml407 val check = value
/seL4-l4v-master/HOL4/src/list/src/
H A DListConv1.sml150 val check = assert(equal "LENGTH" o #Name o dest_const) value
/seL4-l4v-master/HOL4/src/metis/
H A DfolMapping.sml80 fun check s = assert (String.isPrefix p s) (ERR "dest_prefix" "") function
H A DmlibUseful.sml518 fun check s = assert (String.isPrefix p s) (Error "dest_prefix") function
H A DnormalForms.sml1304 fun check best [] = best function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DModel.sml1084 fun check interpret {maxChecks} M fv x = function
H A DUseful.sml605 fun check s = function
628 fun check s = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DModel.sml1084 fun check interpret {maxChecks} M fv x = function
H A DUseful.sml605 fun check s = function
628 fun check s = function
/seL4-l4v-master/HOL4/src/real/
H A DrealSimps.sml570 fun check tm = function
H A DRealArith.sml56 fun check f = if !traceval > 0 then f() else () function
/seL4-l4v-master/HOL4/src/coretypes/
H A DPairRules.sml343 fun check V tm = function
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DlzConv.sml1593 val check = assert boolSyntax.is_exists1 value
H A DlzPairRules.sml342 then let fun check V tm = function
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheory.sml574 let fun check (_, Thm _ ) = true function
582 let fun check (_, Axiom _) = true function
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el

Completed in 288 milliseconds

12345