Searched defs:break (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/datatype/inftree/
H A DinftreeScript.sml208 fun break n = PP.add_break (1,n) function
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DwfrecUtils.sml61 local fun break [] = raise ERR "mk_vstruct" "unable" function
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A DskiTools.sml189 fun break res [] = rev res function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DPrint.sig78 datatype break = Break of {size : int, extraIndent : int} type
84 val break : ppstream value
H A DNormalize.sml841 fun break c1 s1 fm c2 (best as (bcl,_)) = function
H A DPrint.sml129 datatype break = Break of {size : int, extraIndent : int}; type
242 val break = breaks 1; value
728 fun break chunks = function
756 fun break indent_chunks chunks = function
1380 val break = appendBreak break' break value
1429 and break = mkBreak 0 value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sig78 datatype break = Break of {size : int, extraIndent : int} type
84 val break : ppstream value
H A DNormalize.sml841 fun break c1 s1 fm c2 (best as (bcl,_)) = function
H A DPrint.sml129 datatype break = Break of {size : int, extraIndent : int}; type
242 val break = breaks 1; value
728 fun break chunks = function
756 fun break indent_chunks chunks = function
1380 val break = appendBreak break' break value
1429 and break = mkBreak 0 value
[all...]
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairSyntax.sml73 fun break [] = raise ERR "unstrip_pair" "unable" function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolTools.sml318 fun break tm (res, subtms) = function
H A DmlibClause.sml141 local val break = object_map dest_pred dest_eq_refl; value
H A DnormalForms.sml1309 and break best f (Conj (a,b)) rest = value
/seL4-l4v-10.1.1/HOL4/examples/miller/subtypes/
H A DsubtypeTools.sml581 fun break res [] = res function

Completed in 100 milliseconds