Searched defs:can (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-master/HOL4/examples/imperative/
H A Dnecec2010.sml13 and can be represented using a fractional notation, where the numerator represents the goal, and the denominator represents structure
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig25 val can : ('a -> 'b) -> 'a -> bool value
H A DUseful.sml44 fun can f = Option.isSome o total f; function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sig16 val can : ('a -> 'b) -> 'a -> bool value
H A DmlibUseful.sml37 fun can f = Option.isSome o total f; function
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sig19 val can : ('a -> 'b) -> 'a -> bool value
H A DUseful.sml47 fun can f = Option.isSome o total f; function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig19 val can : ('a -> 'b) -> 'a -> bool value
H A DUseful.sml47 fun can f = Option.isSome o total f; function
/seL4-l4v-master/HOL4/src/prekernel/
H A DLib.sig41 val can : ('a -> 'b) -> 'a -> bool value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A DarmSyntax.sml371 val can = Lib.can value
[all...]
H A Darm_astSyntax.sml1147 val can = Lib.can value
[all...]
/seL4-l4v-master/HOL4/examples/ARM_security_properties/model/
H A DarmSyntax.sml378 val can = Lib.can value
[all...]
H A Darm_astSyntax.sml1147 val can = Lib.can value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sig35 val can : ('a -> 'b) -> 'a -> bool value
H A DpolytypicLib.sml115 fun can f x = (f x ; true) handle e => if isFatal e then raise e else false; function
[all...]
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig34 val can : ('a -> 'b) -> 'a -> bool value
H A DPortable.sml83 fun can f x = (f x; true) handle Interrupt => raise Interrupt | _ => false function
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig20 val can : ('a -> 'b) -> 'a -> bool value
H A DhurdUtils.sml73 fun can f = Option.isSome o total f; function
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el

Completed in 321 milliseconds